@1st1 You've asked me to open a compatibility issue here, and there you go.
For personal use I've used the instructions at here to make a compatible duplicate of the color theme. After copying to the extensions folder of VS Code, it worked without fuss.
@1st1 You've asked me to open a compatibility issue here, and there you go.
For personal use I've used the instructions at here to make a compatible duplicate of the color theme. After copying to the extensions folder of VS Code, it worked without fuss.