WHATWG is the authority on HTML, not W3C