[jboss-jira] [Red Hat JIRA] (WFLY-11272) wildfly-microprofile-health-smallrye_1_0.xsd doesn't have documentation for allowed attributes