That’s good to know. The W3C probably did more to hamper web standards than anyone else (except maybe Microsoft). So I’m not surprised WHATWG took over.