Earlier quoted context omitted.
> You're right, we should update it, though. No, you really shouldn't, it's not a real problem. The only people who keep tallies of gender pronouns in documents are internet trolls; don't indulge the trolls. Anyway, switching up pronouns every other time breaks continuity and makes documents harder and painful to read.
No need to keep a tally; in 2018, any document that exclusively uses masculine pronouns for genderless subjects reads as outdated. When writing on technical topics, the chief concern is to be clear, accurate, and straightforward. Anything that might distract your reader is undesirable. By referring to “the user” as “he”, you’re already distracting roughly 50% of your potential readership (if you’re writing the docume…
Correct English is never out of style.
Different languages do different things, and that's okay. Some languages apply grammatical gender to more than just sex, e.g. tools, or fruit. That's okay. English uses grammatical gender to distinguish between male, female & neuter objects, and defaults to male when referring to unknown males-or-females. That's okay too. It's all part of the rich panoply of life.
> By referring to “the user” as “he”, you’re already distracting roughly 50% of your potential readership
I really doubt every woman is distracted by proper grammar. And of course by not using correct English, you distract people who use & prefer it.