@antonia seems it's had some migration. Surely also that's mann/menn tho?
@quixoticgeek@social.v.st I mean, the original meaning persisted in common use for one heck of a long time, see e.g. terms like "mankind".
@antonia yet humankind is the preferred term these days.
@quixoticgeek@social.v.st The word "man" originally used to mean "human": https://en.wiktionary.org/wiki/mann#Old_English