Board Thread:The Panopticon/@comment-1827503-20140418030438/@comment-188432-20140426151100

SmallerOnTheOutside wrote: Are my bot services needed here? :) Absolutely not. This isn't a complicated move at all.  There's no reason to get rid of existing references to "Peter", because, yanno, that's his name. I personally think the move isn't even worth making, which is why I've never taken action on Talk:Peter Tyler (Pete's World). After all, it's a minor, one word contraction of a name, and we have redirects up at Pete Tyler and Pete Tyler (Pete's World) anyway.

But very technically I suppose T:NAMING applies — and, quite incidentally, the character is credited as "Pete Tyler" in the Doomsday credits.

So if you're going to make the change — and only an admin can, at this point — please just move the page and leave a redirect behind. Correcting links isn't at all necessary.