How would you compare the three options,
- https://github.com/gitpod-io/openvscode-server
- https://github.com/coder/code-server
- https://github.com/eclipse-theia/theia
I'm not sure if I'm reading it right, but the contributor graph looks like it's only 1-2 people working on each of the projects.