Rimmer_Dall posted...After god knows how many decades, they finally lost the legal battle with Marvel Comics over the name "Captain Marvel" and thus had to change it.
It was only ever a trademark battle and they lost it decades ago. Since it was just a trademark battle they can still call him Captain Marvel, they just can't call the series Captain Marvel.