Theia: Cloud and Desktop IDE
Theia developers: The Eclipse brand in the IDE/code editor world is toxic to many developers; You may want to disassociate Theia from Eclipse if you’re hoping for wide usage or pulling devs away from VS Code.