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

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.