> It’s the worst kind of pedantry. Simultaneously arrogant, uncharitable and privileged.

I'd go as far as to claim it is by far the dumbest kind, because it has no value, serves no purpose, and solves no problem. It's just trivia used to attack people.