I was going to reply that maybe they wanted a light application to develop for Arduino, but... "The new IDE is based on the Eclipse Theia framework, which is a

I was going to reply that maybe they wanted a light application to develop for Arduino, but... "The new IDE is based on the Eclipse Theia framework, which is an open source project based on the same architecture as VS Code (language server protocol, extensions, debugger). The front-end is written in TypeScript, while most of the backend is written in Golang." A VS Code plugin might have been better indeed.