~~Using git-crypt would be easier for local development a la mybinder.org-deploy. Docs: https://github.com/AGWA/git-crypt~~ Instead of git-crypt, let's look at using [`sops`](https://github.com/alan-turing-institute/hub23-deploy/issues/293)