User:SOTO/Forum Archive/The Panopticon/@comment-24155010-20131228164003/@comment-1398253-20131228174333

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.