Fix manual and html documents for git upgrade.

Yesterday I missed this while submitting the PR to upgrade to
1.8.4.2. This was taken directly from the release information.