Reminds me of the time a well-meaning HR person set up a Slackbot on the company slack that would ask you to use "woman" instead of "girl", not thinking of the literally dozens of legitimate times one would use the latter and would just serve to piss off everyone with stuff like the OP on a constant basis. It got so bad that a dozen women or so demanded it get taken down, after which they never tried anything like it again.
Reminds me of the time a well-meaning HR person set up a Slackbot on the company slack that would ask you to use "woman" instead of "girl", not thinking of the literally dozens of legitimate times one would use the latter and would just serve to piss off everyone with stuff like the OP on a constant basis. It got so bad that a dozen women or so demanded it get taken down, after which they never tried anything like it again.