pgp.mit.edu appears to be unreliable these days. * doc/guix.texi (KEY-SERVER): New variable. (Binary Installation, USB Stick and DVD Installation): Use it in 'gpg --recv-keys' example.