Move gpg setup notes from DEPLOY to GPG [fixes #1073]