Merge branch 'develop' into 'production'

DEPLOYMENT-NOTES.rst

docs/conf.py

docs/dev/README.rst

docs/ops/monitoring-architecture.drawio

docs/ops/monitoring-architecture.html

docs/ops/monitoring.rst

morph/grid/local/README.rst

morph/grid/local/Vagrantfile

morph/grid/local/grid.nix

morph/grid/local/private-keys/README.rst

morph/grid/local/private-keys/grafana-zulip-url

morph/grid/production/grid.nix

morph/grid/testing/grid.nix

morph/grid/testing/public-keys/users.nix

morph/lib/borgbackup.nix

morph/lib/hardware-vagrant.nix

morph/lib/issuer-aws.nix

morph/lib/monitoring.nix

nixos/lib/testing.nix

nixos/modules/deployment.nix