Robert Downey Jr and Pedro Pascal swapped their Marvel character costumes in a Halloween video, reviving discussion about Doctor Doom's comic-book history while offering no confirmed Avengers: Doomsday plot clues.