I want to try switching to Theia from code-server, since it seems to offer a more polished web experience. Unfortunately, I heavily rely on the VscodeVim exten

I want to try switching to Theia from code-server, since it seems to offer a more polished web experience. Unfortunately, I heavily rely on the VscodeVim extension, which doesn't work in Theia because it hasn't implemented some commands like "editorScroll" yet.