Comment by algorithm314

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