What IDE do you use?

I doubt Electron can be factored out. I looked at Theia’s Github, and it seemed also be using Electron, I guess the price to pay for these editors/IDEs to be built on JavaScript (needed for the extensions). For me however, it’s VS Code is not slow, so I’m in no hurry to check out Theia (or Sublime Text) or other, but you could.