OCSP responder Problems? (letsencrypt.org DNS Problem)

A postmortem has been published: 2018.07.30 Domain Resolution Interruption