I think what you linked to is different, but they recently announced working on a real remote dev option: https://blog.jetbrains.com/blog/2021/03/11/projector-i

I think what you linked to is different, but they recently announced working on a real remote dev option: https://blog.jetbrains.com/blog/2021/03/11/projector-is-out/ https://blog.jetbrains.com/blog/2021/03/11/projector-is-out/ Their old server config is just pointing to a repo I think, but isn’t remote dev. I looked into this last year before their recent announcement and at the time they said it wasn’t on their roadmap, but looks like that thankfully changed.