So we have prohibited HTML tags since we really want the content limited to markdown for both security and presentation reasons. And we do use XHTML where XML is appropriate, but implementers have expressed a strong preference for markdown where possible. And we would probably never have used XHTML if commonmark had existed earlier. It’s very difficult for us to reference a non-standard in the standard (e.g. asciidoctor).