But we’ve known the Doctor’s name for ages now. His name is Mr River Song.