Can someone even sue for an idea being "stolen"? Marvel and DC themselves copy and paste ideas from each other, at times really blatantly so, and nothing happens, 'cause a specific idea doesn't belong to you just because you came up with it, specially if no copyrights were made, and the idea that specific plot points can be copyrighted is dubious.
Either way, that Dr. Marvel codename, I'm gonna sound like a contrarian but I'm not feeling it, I dunno, it sounds corny, and not the usual funny kind of corny.
But might be a case where I find it weird 'cause it's new, after all, Captain Marvel also sounds ridiculous, oh well.