[randomdata]

> Your comment could either use the author's actual gender or not involve gender at all.

To be clear, I was not the one who originally used gender-neutral "he" over "she".

> No, the gender correction was about getting the author's gender wrong.

Due to overzealous pedantry, or a misunderstanding of what "he" means in english? Understandably not everyone comes here with english as their first language, so I can appreciate that the word may be not fully understood by some.

[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.