Это в русском, я не слыхал чтоб в английском man когда-то использовали по отношению к женщине. Был Batman, были Batgirl и Catwoman, а тут воровство какое-то
Ну в общем это так и есть, но формально в данном случае всё же человек. Точно так как это звучит и в русском- "Чугунный человек", а мужчина это или женщина, решать самому.