Is it just me, or is Mbed Studio abandonware?

[JojoS (Johannes Stratmann)]

No problem, Mbed has a CLI, and you can call compilation from a task. Or use the new cmake based mbed-tools that work also with the cmake extension.
The decision for Theia as base was also explained by @arekzaluski and is reasonable.

MBED Studio decision to use Theia vs VSCode?

I’m trying to understand the reasoning why MBED studio is using Eclipse Theia rather than Microsoft VSCode as a base. (Yes, I know Theia is based on VSCode.) Can someone involved in the platform’s development give some history? Specifically, it seems the primary technical difference has to do with VSCode’s architectural decision to keep extensions running in a separate process. Was there some MBED design goal that required modifying the core VSCode functionality?