Rename load_online_files_https_TXT.R to load_files_https_TXT.R