This is a remarkable rundown of the legalities surrounding ownership of Miracleman/Marvelman, with a special focus (as you might expect) on the Todd McFarlane/Neil Gaiman legal battle over the character. Pádraig Ó Méalóid has been particularly thorough, and (accidentally?) makes a good case for Marvel actually not owning any part of the classic Alan Moore/Garry Leach/Alan Davis/Neil Gaiman/Mark Buckingham/etc. run, and it all being Neil Gaiman’s (with a little bit belonging to Mark Buckingham, too), unless I’m completely misunderstanding. Which, with this character, is entirely possible.
The question is, I guess, whether Marvelman is legally the same character and property as Miracleman at this point…? I mean, obviously, the former is based on the latter to such a degree that they are (and any legal battle trying to prove it would easily succeed, I suspect), but Marvel bought Mick Anglo’s ownership of his character, and the Moore/Gaiman/Eclipse run was always published/copyrighted in the U.S. under a different name, and I genuinely wonder whether that makes a difference. Lawyers in the audience, help me out here.