@johnjohnston All well and true, except for the slightly plaintive “find another word for them” at the end. That fight is long since lost. Alas.