GitHub repository: sr229/theia-rpm
Description: TBD: Theia Desktop for Fedora