Rename load_online_files_http_TXT.R to load_online_files_https_TXT.R