[richardw]

My read was different. That this is an IDE with plugins and whatnot, and they have a similarly named but entirely different offering:

“Note that Eclipse Theia IDE is a separate component from the overall Theia project's related Eclipse Theia Platform, used to build IDEs and tools based on modern web technologies.”

No idea why they didn’t brand them differently. The base is different (built more on VSCode platforms and not Theia the platform), unlike old Eclipse that had a split between the base and the IDE built from that base. I think that is very confusing.

[kumarvvr]

Theia platform is the foundation to build custom IDE.

TheiaIDE is one, dare I say official, implementation of an IDE on the platform.

To me, that seems congruent.

[richardw]

Yup, on reading the actual Theia website I realise I got it wrong. Thanks :)