Merge pull request #17754 from justincormack/gpg-server

Add an alternate gpg server to the documentation for Ubuntu and Debian.