senseless pedantry in general is one of the things that annoy me most. i first started realizing my hatred for reddit when someone replied to a comment where i said ‘bury the lead’ with ‘lede*’ and i was annoyed enough to not comment for a long time after that. im not a 19th century newspaper columnist so unless youre trying to save the barely literate farmers on computer science subreddits from a minor misunderstanding, thats a comment better left unmade.