particularly annoying
I can't remember it being available from our central spares either, (otherwise I would remember liberating a tin or two), perhaps we got it with petty cash.
A random thought has just crossed my mind, we used to go through gallons of Granada branded Joynes Waxless Polish for cabinets. Unbelievably, a quick Google shows the stuff is still available, but now in sensible shaped plastic bottles. In the '70s it came in a flat medicine style glass bottle and I must have spilt more than I actually used.
We had a French Polisher called Ted that used to come round all the depots in the area. Quite a character, and what he couldn't do with wood.