User:SOTO/Forum Archive/The Panopticon/@comment-24155010-20131228164003/@comment-1398253-20131228174333
From Tardis Wiki, the free Doctor Who reference
If necessary? In a cast list, The Doctor or Dr. Who would always be pipe switched, without exception, as the link would need to be to First Doctor, Second Doctor, etc, and that's never used in the credits.
