... baddies both familiar and new. Thinking about the Doctor Strange mid-credits sequence, it would have been legitimately weird if the future Sorcerer Supreme didn't appear in Thor: Ragnarok ... but because he is, let's recap what we know. Apparently ...