One can download the currently opened document to the computer by clicking on the Download button on the top toolbar.
The following window appears where users can specify the filename and the location of the downloaded file:
The following message appears if the downloading was successful:
