Possible rule modification/addition?

In the past we've just let the members drive off such people... If we were to consider banning each person on a basis of popularity, we would have had a lot fewer contributing members over the board's history.

Zhenya, I'm not talking about him being unpopular. There have been plenty of people on the board that nobody liked, I didn't think they should be banned for it.

He's a troll.

Agreed. He's not simply annoying; he's doing it on purpose.