fixup! Fix warnings xgettext gives in html5lib.