‘Iron Man’ star Robert Downey Jr’s return as Marvel villain Doctor Doom shocks Twitterati: Welcome back, legend