Wrote git-download-missing-gpg-keys.