You’re describing a historical norm, but it’s one I feel is rooted in a historical bias. Men ran the world and defined the word “man” to mean a person of any gender, but that was always an act by men. I’d like to see this kind of bias removed from our language, and it takes individual choice to make that so.