Add a link to the PDF version of the manual.