Translate WHATWG HTML5 Specification commit by commit