If you’re a fan of geek media, you likely noticed two important things from Marvel Studios last week. One was the long-awaited release of Deadpool & Wolverine. The second was the San Diego Comicon surprise that Robert Downey Jr. would be returning to the Marvel Cinematic Universe to take on the role of Dr. Doom.…