まぁ海外だと、そういう別名の付け方が多いんじゃない？
なんとかマンって単純でわかりやすいし、ヒーローの名前にもよくあるよね。