Smaller enhancements to the docs.