4 ms·

How about 'pedantry'. I'd go with 'condescending', but that was clearly your intent.

• bmandale 5mo ago
  People misunderstood your original reply. Correcting you is not pedantry.