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