BBC 1 Jodie Whittaker’s arrival as the Thirteenth Doctor gives Doctor Who its highest series launch ever