On Thu, 20 May 2021, David Collins wrote:
Orange based cleaners are also good - the ones that remove stickers etc
That will dissolve plastics! Don't use orange based cleaners. I just use normal 97% ethanol (called Spiritus here). That will work just fine.
Christian
