[ravenide]

I tried this. It is basically a slightly improved VSCode at this point.

Basically, most the slowness/bulkiness of IDEs does not come from the text editing portion.