Comment by tristan957

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.