What is the value that Theia brings in the local scenario in comparison to VSCode?
- Theia has a more flexible extension model (i.e. you can build white-labeled products and more powerful tools)
- Theia is open-source governed
- Theia runs in browsers, i.e. you can do single-sourcing for developer tools that should run both on desktop and in browsers.