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/

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.