[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 :)