gpg key does not exist on pgp.mit.edu

[Haz-Edine Assemlal]

Hi,
There is a small bug in the installation script guix-install.sh:
[1544622607.463]: [ FAIL ] Missing OpenPGP public key.  Fetch it with 
this command:
  gpg --keyserver pgp.mit.edu --recv-keys 
3CE464558A84FDC69DB40CFB090B11993D9AEBB5

However,
$ gpg --keyserver pgp.mit.edu --recv-keys 
3CE464558A84FDC69DB40CFB090B11993D9AEBB5
gpg: requesting key 3D9AEBB5 from hkp server pgp.mit.edu
gpgkeys: key 3CE464558A84FDC69DB40CFB090B11993D9AEBB5 not found on keyserver
gpg: no valid OpenPGP data found.
gpg: Total number processed: 0

The installation manual says to import from pool.sks-keyservers.net, 
which solves the problem.

Thanks,
Haz-Edine