> 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 VSCo

> 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.