@Mr.Bultitude Thanks. It was from this answer. I had seen it but am not a fan of private (or "personalized", or whatever) chat rooms (which is why I suggested he ask in here), and I'm not sure I could add much there anyway.
(though admittedly that comment-answer was not exactly a paragon of clarity in communication...)