Of course it was, as specifically noted in said corrective comment. Your comment could either use the author's actual gender or not involve gender at all./
> The gender correction seems to be more about pedantry than confusion.
No, the gender correction was about getting the author's gender wrong.
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.
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.