To export a file for backup, you can either do this from the file browser, or from the file menu when the file is open.
Exporting from the file browser
To export a backup file from the file browser, first, find the file that you want to download.Next, right click on the file and choose whether you want to download the file backup, or you can choose to download a specific revision of the file.