Downloads as a zip.txt but when opening file location it's just a txt file there's no point in renaming and obviously with no way to unzip. I understand the uploader isn't familiar with the site but surely getting someone else to upload it as an actual zip file would be the solution.
As is, it's useless.
>>> Remove ".txt" from the filename and extract the zip. <<<