Docs: use https to download the gpg public key

Closes #8818