Open
Description
The ARIA spec now defines and exports the role
attribute:
w3c/aria@5aa4442
So it might be prudent for HTML to no longer export it, and reference ARIA (HTML already references ARIA, but it should probably link directly to the ARIA spec for the definition).
Role is also defined by SVG2 (I've filed a bug there too):
https://svgwg.org/svg2-draft/struct.html#roleattribute
What would be amazing is if the HTML editors' could take a look at the role
definition in Aria and see if it needs fixing up or additional things, so it's defined in the same manner as other attributes in HTML 🙏.