So when they say “Thor is now a girl”, do they mean in the “The Flash is now Wally West” sense, the “Spider-Man is now Ben Reilly” sense, the “Spider-Man is now Miles Morales” sense, or the “Superman is now four people including John Henry and a robot” sense?