Update documentation.

I left the version as it was (2.13.2) but we almost certainly want a
version bump.