One of the comments reads : Actually, we will probably never figure out, was it man or woman. but I thought this comment of the professor was an interesting eye opener. https://mastodonapp.uk/@MarkHoltom/112070436760917344
It occurs to me that the solution might be to start referring to men as "wermen" again, and revert "men" to it's gender neutral roots. That also means we can have a bunch of other prefixes for other genders.
Languages are fun.