Restore the extensions documentation for 1.7.

We moved the extensions docs out of the codebase docs, but this left 1.7
users with no way to get to the new docs. This restores the old docs,
but under the 1.7 manual.