Remove port from link to pgp.mit.edu