The set of files MIGHT_be downloaded by using a download_script_generation_script. But, at least there is some progress on my home page rebuilding, even if it is very slow :-)