Peterdjones, in addition to doing all of that, said that trolling was "just teasing". Can't be bothered to look up the exact thread but it was when I announced that I was designating him a troll.
I didn't delete the decision-theory solution comment, in fact I have no idea what it's about. Presumably this was a user who deleted things themselves. I've asked if it's possible to at least have mod deletions show the user who was deleted, and user deletions not show anything (thus making it possible to distinguish mod deletions from user deletions).
Aside from the one info hazard, it's all crap.
We have no software ability to whole ban users but I do announce publicly at the point where I consider a user a troll.
http://www.reddit.com/r/LessWrong/comments/17y819/lw_uncensored_thread/
This is meant as an open discussion thread someplace where I won't censor anything (and in fact can't censor anything, since I don't have mod permissions on this subreddit), in a location where comments aren't going to show up unsolicited in anyone's feed (which is why we're not doing this locally on LW). If I'm wrong about this - i.e. if there's some reason that Reddit LW followers are going to see comments without choosing to click on the post - please let me know and I'll retract the thread and try to find some other forum.
I have been deleting a lot of comments from (self-confessed and publicly designated) trolls recently, most notably Dmytry aka private-messaging and Peterdjones, and I can understand that this disturbs some people. I also know that having an uncensored thread somewhere else is probably not your ideal solution. But I am doing my best to balance considerations, and I hope that having threads like these is, if not your perfect solution, then something that you at least regard as better than nothing.