Now the download has the proper extension, but still is a text file.