A couple years ago a prominent user with ~9000 karma was hellbanned for getting picked on by Zed Shaw, and pg went as far as adding new code to news.arc afterward so he wouldn't show up on the "leaders" list anymore (he was unbanned a month ago).

You'd be surprised, it doesn't take much to get pg trigger-happy. He's threatened me with banning a few times myself!