Sorry there, that was so obvious but I was so upset at the same time. I should have flagged it and walked away.
Not sure if they are pure trolls though. You can sometimes hear the same discourse IRL. I can’t stand them.
I agree, the word troll isn't that helpful here. But I think it deserves to survive in the phrase 'don't feed the trolls' since that is the wisest thing the internet ever said. It would be interesting to know the origin, actually—I wonder if anyone has traced it.
FWIW, I asked about this here: https://news.ycombinator.com/item?id=29778358
There’s a link in the comments to this 2005 verion of the net.abuse FAQ, which references “Do not feed the trolls”: http://www.faqs.org/faqs/net-abuse-faq/troll-faq/ reply
"Don't feed egregious comments by replying; flag them instead."
a.k.a. please don't feed the trolls
https://news.ycombinator.com/newsguidelines.html