Add file selection in download
Use a split button where the default button downloads all the files as a tar.gz, while the secondary button opens up a modal listing all the files with a checkbox to include in the archive (by default all are unchecked).
In the API call, simply add one &key=xxx
for each file whose checkbox is checked.
OverviewComp.scala/downloadFile()
Edited by mma227