Or, possibly, that Theia is based on VSCode and uses the same config files. I haven’t had a chance to try it yet (though I am interested!) but it looks like a fork of VSCode visually: That certainly looks like Monaco editor and somewhat similar to VSCode as a whole, down to apparently being compatible with its extensions.