Doctree validation: New configuration setting "validate".