> These lightweight changes make up the vast majority of the Web IDE usage

Imho, that’s Web Text Editor. It’d be helpful to not mix junior an “editor” with an “IDE”.

If someone at Gitlab is listening then it’d actually be a differentiator to make an IDE (and charge for it) to also those platforms where having a beefy laptop becomes a requirement (eg Android) and developers on those platforms, or a lot of them like me, would love to have a platform online that’s largely independent of a development machine.