Let's assume Avengers call a meeting, and invite Thor. Following discussions will be full of "Thor, chick or guy" when talking with them. If Marvel stays adamant of them having EXACT SAME name, there won't be even in-universe nickname to specify whom.
And as posted on /co/, they can't drop this without PR disaster.
And as posted on /co/, they can't drop this without PR disaster.