[GreenKeys] Good cleaning agent

[Web Williams]

Be careful what you put WD-40 on, it leaves a sticky residue
that hardens with age. A local gunsmith told me this several
years ago, after telling me how much money he made removing
WD-40 residue from firearm actions. It's OK to clean with, as
long as you're aware that you'll have to use something else to
clean it off after you're done (unless it's used in a non-moving
parts location).

-Web (WY3X)