...when you right-click on a file...

...or just about anything else. If it appears in the tree, or in the RHS, you should be able to select it (or them), and get the "Download" option when you right-click.
_________________________
-- roger