So if VS Code can run as a web-based editor like this, what's the major difference between VS Code and Eclipse Theia (derived from VSCode)?