Your comment is just a meta-comment and that's just as bad. I suggest gently correcting people instead of just pointing out very non-specifically that someone is wrong.

I have. I did. I do. But like so many cocktail sticks launched towards the mammoth, eventually one lobs a final ineffectual remark.

But also agreed (with you, yes), for the vast majority of moments, ignore and don't add more noise. But sometimes... human after all.