By now the news has sunk in that the 13th Doctor will be played by a very female Jodie Whittaker. Social media has…