Update middle-w3c-html-magic