Update header-w3c-html-core