Comment by latexr

You are right, of course. But I have noticed as of late that I sometimes became unkind in my replies, which I don’t like and didn’t use to happen. I want to do better.

Surely the right move here is not to play, but if you don’t get annoyed trolls can’t win either.