The Doctor's real name: already a matter of public record! (From The Making Of, 1972, by T. Dicks and M. Hulke.)