Update doc PDF files.
Cross-reference git branches with Jira issues.
Update version string to 3.1.
Merge remote-tracking branch 'origin/master' into CORE-team