O download é aqui no mesmo site. Isso vai te dar um tar gzipped de toda a página html.
Como alternativa, carregue a página html inteira em sua navegador e salve-o. Se você quiser salvá-lo como PDF, basta selecionar a guia na qual a página está aberta, vá até o menu do seu navegador e clique em imprimir > imprima para arquivo e escolha pdf como o tipo de arquivo e um local para salvá-lo. Se isso não der certo, instale cups-pdf
, reinicie seu navegador, carregue a página gnome no link 2 e abra o menu do navegador , clique em imprimir > PDF e escolha suas opções. (Por padrão, o cups-pdf criará uma pasta chamada pdf em sua pasta pessoal.