[editorial] Re-add missing w3c-html tag.