Thread:Project:Support desk/How do I download the extension files to add to the database?

I need to download the files here and here, but when I click the download link, it just takes me to a wall of text. How do I download the files?