We should set up GitHub actions workflows to build (and later also deploy) the extension, like in [`vscode-kotlin`](https://github.com/fwcd/vscode-kotlin).
We should set up GitHub actions workflows to build (and later also deploy) the extension, like in
vscode-kotlin.