[pmwiki-users] Renaming a document

[Anno]

Today I stumbled over another wiki, called cowiki
http://cowiki.tigris.org/
and a good suggestion about how the rename of a document should be handled:

"Possibility to rename any document at any time without leaving broken links.
All links to other documents remain consistant even if you or someone else
renames or moves a document."

I think this would be a good thing also for pmwiki.