As someone who was fairly vocal about the need for long-running BBC flagship series Doctor Who to seriously address its gender problems, I was pleased, but not overjoyed, when it was announced that the thirteenth Doctor would be played by Jodie Whittaker, the first woman to take on the role.