Replying to @mc2hampion and @w3c, @WHATWG
But much, much more importantly I’m simply extremely happy to see collaboration finally happening. The WHATWG/W3C feud outlived its usefulness by several years.
Deep thanks and kudos to all those involved in the accord!