No language server in this explorer, so it is less useful.