Add version number to PDF manual

... and a few other minor changes.