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/
bemusedthrow75|2 years ago