10 years on, Marvel fans are still confused over the Doctor Strange post-credits scene: “Did Marvel forget about that?”