Committing changes to .gitmodules so I can remove a plugin
deleted the html5 submodule as far as I can tell