` ::True.  Perhaps removing that inappropriate comment might have ended the encounter by not giving the attention they seemed to be seeking.  In any case, I did not realize you were veteran editor when I left the above note.  If I had, I wouldn't have pointed out something you likely already knew.  Thanks for your contributions.    / `