Redirection

When a page is renamed, the old page is automatically redirected to the new page.
The syntax is #REDIRECT [[new page]]
Of course, you can also add the redirection manually using this syntax.
Note: currently double redirection is not disabled which means that the circular redirection endless loop is possible.