Rename load_files_https_TXT.R to load_files_https_txt.R