Upgrading to gender neutral language is important.
Having a reflex to avoid politics, especially when you live in an environment where concepts like gender aren’t discussed, is understandable. It’s an attempt to do no harm that doesn’t have the expected impact. It still causes harm because simple problems like gendered language are treated with an allergic response. This is what happens when conservatives hyper-sensitize well-meaning people on social topics. Considering the world we live in, you can’t expect everyone to know how to flawlessly navigate these issues on the first try.
Their policy of “no politics” was misguided, but understandable. Everything is political. It was fashionable for decades to pretend otherwise. Many people grow up in an environment that ignores social topics. They need to be accepted into spaces where social topics are discussed, not immediately ostracized for not knowing the rules to a game they are new to.
I would like them to neutralize gendered assumptions in their documentation and learn from the experience, but that can only happen if they aren’t ostracized from the community. I want to give them a chance to learn and improve to disrupt Google’s unhealthy monopoly in the browser space.
The PR in question is also in error. It claims that the documentation assumed the gender of the user or the developer. A close reading of the requested commit reveals that the documentation instead assumes the gender of an example user named “anon” whose permissions are being altered. The documentation’s use of gender is in using a male as an example user needing their privileges deescalated. Still problematic, of course: not only men need their privilege checked from time to time.