Eclipse Theia IDE - 可定制的开源云端与桌面 IDE 平台，是多种开发工具和 AI