> but almost half of it is actually only available in a proprietary build from Microsoft

Which half?

VSCodium works great, so I'd go as far to say 99% of VSCode is actually open source (the name and icons being exceptions). You cannot say proprietary extensions are half of VSCode.