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.