GitHub repository: vincejo/theia-hello-world-plugin
Primary language: TypeScript
Description: for https://github.com/eclipse-theia/theia/discussions/8085