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

And I concur with that, SOTO. There is, very technically, a rationale under T:NAMING to go to Pete Tyler. However, this is truly an edge case because it mostly makes no difference to either searching or link-finding, since the only difference between "Pete" and "Peter" is the terminal -r. "Jacqueline" and "Jackie" are comparatively much further apart, as are "Peri' and "Perpugilliam", or the especially distant "Amy" and "Amelia". (The search engine requires three letters to begin its matching, and so typing "Ame" would in no way lead you to "Amy".)

So, while I'm not opposed to the move, neither do I think it very urgent, since there's no real evidence that it's hard to find an article at "Peter" if you believe the name is actually "Pete".