No, a lot of people on this website value very highly their completely irrelevant nitpicks. I’m starting to think it’s just the kind of mind the tech industry attracts, because I’ve noticed it in some coworkers as well.