Maybe? No idea. I have to look up half of this shit. Only time I was reading any comics as they came out was like mid-90's-ish. Onslaught era Xmen, just past Knightfall era Batman.You thinking of DC?
I was just looking through the wiki for Nova Corps because I was curious why Sutekh was upset over their portrayal in GotG and noticed one of them was called "Captain Mar-Vell". (Plus wasn't Jean Grey originally called "Marvel Girl"? And isnt' there a Ms. Marvel?) Granted, I find DC names to be even worse -as in an industrial dryer full of autistic kids set on tumble dry hooked up to a mic could probably come up with better names than DC has- but seriously, "Captain Mar-Vell"? If DC ripped that off would it be "Colonel Detective-Comiks"?