The comment you reference was made in July 2010. The bug report that triggered the banning was made a week ago, and just sounded petulant. It didn't make any pe

The comment you reference was made in July 2010. The bug report that triggered the banning was made a week ago, and just sounded petulant. It didn't make any personal statements about anyone. Nursing a grudge against someone for a year, banning him for a grumpy bug report, then spamming discussion threads with hand-wringing about what a toxic abusive bully he was really seems like a waste of time to me. I guess you can "coordinate" your community however you like, though.