Is it me, or the GPG directoy servers are either underesourced / unmanaged / slow?

An updated list:

• ❌ https://pgp.mit.edu: returns a 500 error on queries
• ❌ https://keys.gnupg.net: invalid SSL certificate
• ❌ http://keys.gnupg.net: returns a 502 error on queries
• ✅ https://pgp.surfnet.nl: seems to be working

I even tried sending an email to the suggested service at pgp-public-keys@pgp.mit.edu, received a not so nice error: