Fix reference to the PDF versions of the manuals in the `README.md` file