Oscar Isaac’s Spider-Man 2099 is one of the most important new heroes being added to the cast of Spider-Man: Across the Spider-Verse. But who is Miguel O’Hara, and why is he so much more of a jerk than Peter Parker? Here’s what you need to know about Spider-Man 2099 before the animated movie drops.