To download files from the File Manager, do the following.
Select the files you wish to download.
Click the Download Button.
Click the Save button in the dialog invoked by your browser.