I posted a little while ago suggesting that we ignore the troll and talk past him. This is the advice that all three moderators have been giving us, some public, some private, and they do use the word troll. My post was deleted. Not my gig, not moaning, just observing a bit of an oddity.