Thank you Ian, I wanted to post a similar response the "corroding" thing is nonsense.
I did want to post that a little bit of lead contamination can give a 90% strength reduction in the solder joint, but did not have a rearl reference. The document you linked from bomir does confirm this though, and is therefore a much better post than I could have done.
So the conclusion is:
Use leaded solder for repair if there is any doubt about the product's solder joints containing lead or not, and clean off most of the old solder (as usual anyways). Very small quantities of lead are very bad for the solder joints, but in normal leaded concentrations, a bit more or less lead does not matter.
When RoHS first started I was all in of the lead-free solder when it came available. I don't like lead, it killed the Romans. The stuff was however very difficult to work with (this was solder from Stannol, and before cheap china) Then I abandoned it and went back to leaded solder for everything. (As a hobbyist I do not solder much)
Small tip:
When you have an empty spool of solder wick, do not throw them away, but fill them with regular solder wire.
This is by far the most convenient way for using small amounts of solder. Just try it. It's the best method I know in my 35 years of soldering.