I suspect that if everyone were to unconditionally ignore him, that would be more unbearable to him than any hostile words that anyone could possibly come up with.

I remember a time when we did just that, and it didn't work. There's nothing anyone can do about this, everything has been tried, everything failed.

Last time we had a crisis this bad, John was kind enough to add the "filter" feature to the forum. Which, unfortunately, didn't solve the real problem.