Yet more improvements to docs.