>>11443
One more tip:
If he writes the same thing again and again, you can apply wordfilter with the "Manage filters" option. This way you can change the words of his posts. Make it something funny.
But this is also gives him attention, and as I first wrote, best to ignore, and ask your userbase to ignore him, and don't give him replies.