Reach out core contributors and ask to not use pgp.mit.edu in /about/people

We have better alternatives: ldap, wkd, keys.openpgp.org and self-hosted keys.