There are two ways to deal with a troll. Starvation is the best. Making fun of it sometimes works. This thread was doing pretty good at at the second option at times.

Of course, if the thread develops into and interesting and informative discussion, all the better. Unfortunately, that is not the norm.