[Deze sectie is nog niet vertaald.]
If you want to rename the current document, choose this menu item.
The document name in the document window title will then become
editable. When you rename it there, the renamed document will directly
be renamed on your hard drive, too.
