You do all of that when leaving a comment on HN? Why...?

I'm confused by this need(?) desire(?) to polish things that are irrelevant.

No, I do not, I mentioned asmuch in my post. But I do not hold it against those that do. I think if you want to make a point across, doing this the most effective way without detracting from the point is a good thing.

Relevance is in the eye of the beholder.