I wenthere and tried to print the page to PDF.

But the navbar covers the text:

Please add the following style to the page:

    @media print {        div.col-narrow.toc {            display: none;        }    }

(in the meantime you can use Stylus to manually add it)