As the @w3c's HTML WG's process complexifies, it's nice to know that contributing to HTML5 is still as easy as emailing whatwg@whatwg.org.