Update submodules and tweak HTML filetypes