I had to manually hack some things to get the deployment through successfully. This documents those changes.
Pipeline #53666 skipped
Pipeline skipped for ffd970b7 on b/deploy-guide-1-fixup
assigned to @chreekat
mentioned in commit 47f3841a
merged
