There is plenty to be said about the BBC announcement that Jodie Whittaker has been cast as the 13th Doctor…