I hope this has been mentioned around here before, and I don’t expect anyone cares, but historically “man” was a gender-neutral term (back in the middle ages the prefixes wer- and wif- specified “male man” or “female man”). This has a legacy in our modern language in the same sort of way that words that came to us…