The download is here on the same site. That will get you a gzipped tar of the entire html page.
Alternatively, load the entire html page in your browser and save it. If you want to save it as PDF, simply select the tab the page is open in, go to your browser's menu and click print > print to file and choose pdf as the filetype and a location to save it in. If this is unsuccessful install cups-pdf, restart your browser, load the gnome page in link 2, and open the browser menu, click print > PDF and choose your options. (By default cups-pdf will create a folder called pdf in your home folder.