On https://theia-ide.org/ it says the shell is based on PhosphorJS. When I follow the link to the repo, it says it's archived. Have they vendored it yet? https://github.com/phosphorjs/phosphor