Users can export the currently opened document by clicking on the Export to PDF button on the top toolbar.
The following window appears where users can specify the filename and the location of the exported PDF file:
The following message appears if the exporting was successful:
