Update on the relationship between the WHATWG HTML living standard and the W3C HTML5 specification