> I feel like this hints that there is collaboration between them and Theia folks The Typefox homepage says: > Software tools we have created: Sprotty, Langiu

> I feel like this hints that there is collaboration between them and Theia folks The Typefox homepage says: > Software tools we have created: Sprotty, Langium, Theia