When I click on the link in the manual it starts the download but either stays at 0gb downloaded or gets to 0.1GB and gets no further. One time it appeared to download the whole file (it was about 600mb or so) but wouldn’t unzip (perhaps it was not actually complete?) This in itself took about 7 hours! Most times it has an estimated download time of about 9 or 10 hours but doesn’t really progress.
Are you using a Chrome (based) browser by any chance? This happened to me (Opera on a Mac) today. Instead I grabbed the URL and used wget in a terminal window and it worked like a charm. If you’re on windows try using FileZilla, or anything except the browser.