You can publish your extensions on OpenVSX fyi. A lot of projects have started doing that now. Not all, but a good amount. Glad you found Theia though.
Ah interesting! I'm building https://double.bot (ai assistant vscode extension) and someone asked about VSCodium but I didn't realize there's a open marketplace for that specifically.
