Doctree validation: Declare/check valid Element attribute names.