I was thinking about adding my GPG key to the key server. However, I get the impression that pgp.mit.edu is obsolete now, and https://keys.openpgp.org/ is more preferable.

What PGP key server do you recommend?