conformance checker for HTML+ARIA?

There has been some discussion [1] on WAI-xtech about HTML+ARIA
validator/conformance checker

david dorward wrote:

The HTML Working Group is chartered to "maintain and produce incremental
revisions to the HTML specification"[1], which I would imagine HTML 4.01
+ ARIA would fall under. I imagine you would raise the matter with them
and see if they would be willing to work with the WAI to publish a small
Recommendation which makes reference to ARIA and HTML 4.01, defines a
Doctype and includes a DTD.

Is this something that the  HTML WG would consider?

[1] start of thread:
http://lists.w3.org/Archives/Public/wai-xtech/2008Sep/0381.html

regards
stevef