That's actually a different use case than ours. We only use it to run the builder and app services (which can use a bunch of resources), while keeping the editor/IDE tooling local.

That said, we have developers using VS Code, JetBrains, as well as Vim. The Mutagen-based workflow works well with all of them.