Maybe I am missing something here, but as far as I understand, it is possible
to create a new benchmark by either using the web editor or uploading a zip file
with all the config and other files.
But is there also an option to DOWNLOAD the current state of the benchmark as
a zipfile, e.g. after modifying settings online via the web editor?
I have not found a way to do this but I think this would be extremely helpful, both
for syncing a benchmark one is working on and for downloading the settings of
and existing benchmark to modify it.