Good catch! Indeed the documentation is being rewritten using Sphinx, which should make it easier for users to contribute (the source is now on GitHub, together with the code). I updated the link to the new version, although it is not PDF (but a PDF version is available there too).
Thanks again.
- Emmanuel.