Eclipse Theia IDE is to Eclipse as Visual Studio Code is to Visual Studio? I think the naming is much less interesting/important than the idea, but lots of fol

Eclipse Theia IDE is to Eclipse as Visual Studio Code is to Visual Studio? I think the naming is much less interesting/important than the idea, but lots of folks seem only interested in whether the name is good or bad. In my experience, a good project tends to eventually live by a good name, and the early focus should be on the outcome. It looks to me like the folks behind this project know exactly what they’re doing.