By now we’ve all heard the news: The 13th Doctor will be Jodie Whittaker, a woman.