The theme JSON in themes/ is generated from the datum palette — don't edit it by
hand. To build the extension locally instead of installing from a registry:
cd ports/vscode && npm i -g @vscode/vsce && vsce package
code --install-extension datum-*.vsix