This mirror has been sunset. (
#70
)
See
https://vscodium.com/#install
for alternatives.