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
"Man" also means "humankind". In fact, it was originally a gender-neutral word.