What PGP key server to use?

https://superuser.com/questions/227991/where-to-upload-pgp-public-key-are-keyservers-still-surviving

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?