Admiral_Young wrote:

DC can't use the name Captain Marvel any more...
|
That doesn't make any sense. Granted, they couldn't use it in their titles or advertising, but the character has been there with that name long before Marvel came up with their Captain Marvel (which they only did so they could get that trademark).