Add a note on download-gpg.html.

Note asks readers to download GPG only if it hasn't been installed
already.