Doesn't really matter. The comics are irrelevant to the public perception of established superheroes. Only the film / TV versions have a major impact. So…. Batman will always be Bruce Wayne, Spider-Man will always be Peter Parker and Thor will always be male.