Renaming nav files

In the Nav tree, right-click on the file system node.
In the popup menu, click Rename.
In the Rename dialog box, type a new name for the nav file in the text field and click OK.

The nav file is renamed.