Yesterday's news that Derrickson left DOCTOR STRANGE 2 was a press release, it was planned. This likely means Marvel may have already met with potential replacements if not already have someone in mind.

— Christopher Marc (@_ChristopherM) January 10, 2020