Switched to a slimmed-down editors submodule