126.96.36.199. Editing an export
You can change the filename of an exported publication. To do this, select the export entry from the publication export list and then click the "Edit" button. Alternatively, you can double-click the export entry in the list. This will open a dialog which allows you to change the filename.