[pixelHD]

I use it in our lab, and it works very well. However, there's no multi-user support. So anyone who connects to the server gets served the editor with the same workspace.

That being said, I think they have the multi-user support in the roadmap.

[meysholdt]

Interesting. You might want to try gitpod.io to have multi-user support.