, I understand and agree with your points.
The reason I don't believe in /ban is because it is the kind of heavy-handed action that just gets trolls going even more. /ignore is a peer-to-peer action, which does not tend to get a troll going with conspiracy fantasies. I noticed the other day that when you told masturbator that you were leaving the chatbox because he'd logged on, he immediately reacted with anger and name-calling -- but directed exclusively towards you and not the site in general. In contrast, a /ban reeks of a power play, and might focus a troll's efforts to taking down a site (not necessarily hacking it but at the least filling it with garbage and spam, forcing the moderators into escalation).
Trolls can be pretty dedicated once they pick a target -- frankly, I'd rather the target be an individual user (endless /msgs) then the site as a whole. Then again, KM might disagree strongly.
P.S. I also like the idea of a list somewhere of the uids i've /ignored -- otherwise i'll eventually forget who to /unignore.