Doctor Strange 2 reportedly casting America Chavez

So there's gonna be a 5 year gap between the release of these Doctor Strange movies. You'd think they'd have got on that quicker.