File contents downloaded to downloaded_file.txt
