remove erroneous html5 submodule