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…

Windows key + pause/break - one of the best keyboard shortcuts out there.

Koss Porta-Pros. I paid $50 for mine.