Comment Comment by kjs3 How about 'pedantry'. I'd go with 'condescending', but that was clearly your intent. parent kjs3 5 months ago
