Es que, como dice Alan Moore, da igual el nombre de la portada
Tanto da que ponga Miracleman, como Miracle Man, como Atomic Man, como Escroto Man... el personaje era, es y siempre será MARVELMAN, le pongan el nombre que le pongan.
Precisamente, como se narra en los artículos de Caliz Envenennado, Marvel UK demandó a Warrior por dicho motivo en los 80
Después, cuando el cómic se reeditó por Eclipse, para evitar más problemas con el nombre de Marvelman, le pusieron Miracleman ya que dicho nombre ya aparecía en la propuesta que Alan Moore remitió a Dez Skinn para que le designara como guionista de la historia.
Supongo que si algún abogado de Marvel se debió fijar en que en Eclipse tambien estaban usando un nombre que pertenecía a un personaje Marvel de los 60, les debió parecer menos perjudicial que si se hubiera mantenido como Marvelman, el nombre original con que aparecía en los comics británicos y en Warrior.
Es liosillo, aunque en los artículos de Cáliz Envenenado se hace referencia a ello, si quieres te localizo el capítulo y así sales de dudas.
Y el Capitán Marvel de DC como personaje se llama Capitán Marvel y no pasa nada
Te puedo asegurar que sí pasa. El personaje está rebautizado como Shazam.
Las malas lenguas decían que Stan Lee tan sólo creó al Capitán Marvel a mediados de los 60 como motivo para mantener el nombre del personaje atado a su editorial, tras que Fawcett dejara de publicar historias del personaje en los 50 tras las (muchas) demandas que le metió DC acusándolo de ser un plagio de Superman.
Posteriormente, en los 80, DC adquirió los derechos de los personajes, pero sin poder utilizar Captain Marvel porque pertenecía a un personaje Marvel, y lo tuvieron que renombrar como Shazam, como dice
oskarosa.