When I wrote the manual, I intentionally didn't include the PDF version in the source code so that we would have a single copy of the file in the repository. This is a bit confusing though since when you run the code locally, the "Help" button is broken.
Instead, I think a better strategy would be to build an HTML file on startup and link to that instead.