Rename load_files_https_ZIP.R to load_files_https_zip.R