[gumby]

I agree, though the historic roots make "man" (for humanity) and "man" (male person) simply homonyms. They "sound" different in my head, the same way "homo" (Latin for male person) and "homo" (Greek for "same") feel very different to me.

In this case though it's likely simply an artifact of translation from the German word Mann.

[quonn]

Perhaps you mean „man“ in German which means „one“. „Mann“ literally refers to a male person which doesn‘t really make sense here.

Both are pronounced identically.

[gumby]

Yeah, I was typing on autopilot on my phone.