add a link in the docs section to the manual as PDF