3 ms·Doctor Who has a real name, but Paul Graham encrypted it.by ww 19y agoDoctor Who has a real name, but Paul Graham encrypted it.