Downloading files from the RStudio workspace

In order to download one or more files from the RStudio workspace, follow these steps: