Minor update to doc PDFs.
Merge pull request #1833 from VoltDB/release-4.9.x

Minor update to doc PDFs.