[kbp]

> overzealous pedantry

Some people might consider it pedantic to insist to someone who was confused by a choice of wording, and offered a less potentially confusing alternative, that actually it's fine because it's technically correct, regardless of how people understand it when they read it.

[randomdata]

Absolutely it is. Nothing wrong with pedantry per-se, but with respect to this particular discussion it helps to understand the motivation to understand if the person is not clear on what "he" means, which we can help correct to prevent future confusion when future comments use gender-neutral "he", or is just trying to have some fun, which we can safely ignore.