But there is. VSCode + Remote SSH is as good or better as using my own machine. On top of that, my workspace is immediately available anywhere, regardless of what computer/phone I'm carrying (Android phone + code-server + BT keyboard and mouse is surprisingly good experience).