Andy, I'd take mle's good advice and not bother to feed the trolls. They only come back for more, and in this case, patronize those who fed them in the first place and believe themselves enlightened for eating up what's given them, and cry out threats to crawl back under the bridge for a reaction.
P.S. Yeah, I'll bet
a lot of people have been requesting the ignore feature. Sigh . . .