i am distraught that david tennant has left doctor who.