Downloading Files from mybinder

Downloading files from binder can be done by selecting a file from the standard “Files” tab in binder and hitting the Download button:

Steps to undertake to download a file from binder.