The Panopticon/Doctor Who prefix in titles

Now, where were we? Oh yes, I remember. We'd agreed in principle back in May 2012 to get rid of prepending instances of "Doctor Who:" or "Doctor Who -" from most titles. Tybort had reactivated interest in the thread. Tangerineduel had promised action this week, with a change date of something like the 4th December. Then I said I was preparing a master list of the changes that needed to be made, since a list was a necessary precondition of an easy bot fix.

The question on the table was whether we wanted to keep the old names around as redirects or if it was necessary to run a bot script on every single changed title to get rid of links to the old name. I had argued to keep the redirects around and the links in place as is.

And now, our story continues ...