I’m confident that the person I was responding directly to - Dave the Gnome - understood precisely whom I was referring to. And anyone who didn’t know was perfectly at liberty to ask for clarification, and I would happily have explained. However, personal criticism seldom achieves a satisfactory outcome. Hopefully a lesson learned...