Sorry about that; I didn't mean it to come across as patronizing.  I've been watching A. Nony Mouse making a nuisance of himself on the mailing list for ages, and I didn't want to encourage him to make AN/I his new home for trolling.  Some of my irritation at him leaked into my comment.