We detached this subthread from https://news.ycombinator.com/item?id=12285576 and marked it off-topic.

Sarcasm that is meant to cut another isn't really appreciated here. Your long history of comments seems to often show a rebuke to the first person who responds. We are happy to have you, but please consider that his comment is not an insult to you.

> please consider that his comment is not an insult to you.

And what is it, what is the point of it? Can you offer a reading of it that isn't "sarcasm that is meant to cut another"?

I didn't take it as a personal insult, just the pointless, flippant, content-free diversion it was. A personal insult is something I'd ignore.