Serious suggestion: we flag responses or have a separate flag for comments which are unnecessarily pedantic / the commenter is functionally illiterate / the commenter didn't read (the three things are somewhat indistinguishable).