Cool thanks Graham - I noticed the agent sometimes saves files outside of the workspaces (sometimes below /workspace, sometimes /tmp/), so the VSCode server is a quick way to navigate to those files.

We have a couple of PRs on this: github.com/OpenHands/enterprise/pull/684 github.com/OpenHands/OpenHands/pull/18109 And I think @millions-crayon-32880 has done some work on that too.

oh nice, we should get those in 🙌