Hm. I don't read comics but I'm pretty sure I'm the cartoon they never refer to her as Marvel Girl. I did not know that was an alias for her.