Update documentation (and html/ version) to reflect plugin changes and
deprecations.