Yes, I had seen that, but forgotten. Editors like this tend to have a frustrating and unpleasant time on Wikipedia, and eventually leave in a huff. If only there were some way of conveying to them that being civil is in their own best interests, whether they think other people deserve civility or not.