I'm guessing it came from "another era" where you could buy stuff like this without an issue?

But even few years ago I visited a wolfram mine in Portugal on a job, and was told by the guy I worked with at the time that the miners are using stuff "banned long time ago in UK" to clean the tips of the guiding ropes which we were replacing. I was never told what it was, but nowadays I suspect it was HF.