Issue #254 Rephrase help page to make a one-liner.
Issue #254 Exclude history from PDF output (manual).
Issue #254 Update PDF manual included in source tree.