Не "Доктор Кто", а "Баба Кто". Это разные сериалы...
https://ru.wikipedia.org/wiki/%D0%97%D0%BB%D0%BE%D0%B9_%D0%B2%D0%BE%D0%BB%D0%BA
Больше похоже на пасхалку из звездных войн... название миссии намекает прямо.
