I think this page should be called Manual:Page undeletion to be in keeping with other developer documentation that all talks about 'undeleting' rather than 'restoring'.
Done!
I think this page should be called Manual:Page undeletion to be in keeping with other developer documentation that all talks about 'undeleting' rather than 'restoring'.