It's not that it's upsetting as an individual event, and I can't help but feel this is a bit of a straw man. What's maybe more of an issue is that is there is

It's not that it's upsetting as an individual event, and I can't help but feel this is a bit of a straw man. What's maybe more of an issue is that is there is a long-term bias in the use of gendered language, across multiple projects, in code and documentation and comments, then that does seem like an obvious bug. It's a very small thing, but one of those things that in aggregate could contribute to the perception of a more general gender imbalance in the industry. But think off it another way – for no cost, you can make other people feel slightly more comfortable in the long term working in this field. Why bother fighting it?