OT: WD40, was: keyboard cleaning