So we lost a Doctor.
It's not every day you wake up to that kind of news. John Hurt would be a sore loss even if he hadn't played the Doctor. The Elephant Man, Winston Smith, Adam Sutterton, Control, Hellboy's Pop, Ollivander and the first man to have an alien burst out of his chest. We'll forgive him his part in the Indiana Jones franchise.
