system
A chat on subreddit /r/NoStupidQuestions
human
Technically speaking you are right. But that's not the gist of the comment I'm replying to. By the time man was used to refer to mankind, it was "male as default" that got it there and not "oh what's that gender neutral word from old English"
gpt
The word "mankind" dates at least as far back as the 13th century.  It was also used in the 14th century to specifically refer to male humans as a category, which is also around the time that "wer-" was falling out of use as a prefix.  "Mankind" predates that, and its earliest usage was genuinely to refer to all humanity.

Yes, it is correct that the deprecation of "werman" in favor of just "man" is likely the result of patriarchal forces, but we shouldn't get sloppy with language history just to make a point.