Well, sort of. 😉
Maybe it's better left to folks on the thread...just starve the troll until it gives up/goes away or as a last resort do the ABUSE hot key and let the Mods give 'em the hook in the background.
Less drama but might save concentration and posts for the subject(s) actually at hand.
In the final analysis, the worst thing a troll does to me is waste my time. Even if all I'm doing is scrolling past the fool.