MySQL PGP pubkey bug of 2025-10-22
export KEY16=B7B3B788A8D3785C
gpg --no-default-keyring --keyring /tmp/keyring.gpg --keyserver keyserver.ubuntu.com --recv-key $KEY16 \
&& gpg --export --no-default-keyring --keyring /tmp/keyring.gpg --output /tmp/$KEY16.gpg
### Or ###
export GNUPGHOME=$(mktemp -d)
gpg --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys $KEY16