Jetbrains Gateway offers remote editing as well. It's still Beta and certainly has some rough edges, but it works ok-ish as a daily driver and is actively devel

Jetbrains Gateway offers remote editing as well. It's still Beta and certainly has some rough edges, but it works ok-ish as a daily driver and is actively developed. The last update few weeks ago even added Dev Containers support (to an extend). https://www.jetbrains.com/remote-development/gateway/ https://www.jetbrains.com/remote-development/gateway/