> I currently work with the worst pedant I've encountered in my career to date, and I can empathise with wanting to leave the industry.
I have one of these too, one of my PRs received a comment on the third round of review about correcting a minor typo in a comment that was made years ago by someone else.