Rename load_online_files_https_ZIP.R to load_files_https_ZIP.R