Thread:Nagihiko Fujisaki/@comment-4616791-20120518011216/@comment-14250-20120807165332

Possibly that was a trick Manik learned for how non-admins can delete page names, but admins can do it more easily ;)