Dead link in service-infrastructure
https://gitlab.developers.cam.ac.uk/uis/devops/docs/guidebook/-/blob/e1d18b4a76c4a65c54b6f5b32c9ab80da2bcf394/docs/explanations/service-infrastructure.md?plain=1#L146 links to https://gitlab.developers.cam.ac.uk/uis/devops/workspace-management/gcp-workspace-management which gives a 404. Elsewhere the link is now to https://gitlab.developers.cam.ac.uk/uis/devops/infra/gcp-workspace-management.