Some more information in this interview: https://jaxenter.com/theia-ide-efftinge-interview-134467.htm...