The other Captain Marvel, as it were.