fixup! Add html5lib as a submodule