"Brendan Jurd" <direvus@gmail.com> writes:
> Note that if you rename a page you also need to update any redirects
> which point to it.
The directions on the "move" tab imply that this is taken care of
automatically? But anyway it'll just be a minor amount of extra
work when the time comes.
regards, tom lane