Well, actually, shunning IS the best solution I've found for trolls. The key is that you have to act as if the troll did not exist at all, so any agreement to shun anyone has to be done by private communication. It's basically a very peaceful solution - if you don't give uncivil people the attention they crave, they usually either leave, or become civil.
Martin Gibson is certainly not the only uncivil person we have around here. It seems to be an epidemic. This hasn't been a very pleasant place lately.
-Joe Offer-