@scm Me too. It didn't resolve at first, then it did for a while, and not right now. I heard that SDF.org subdomains (except Mastodon, etc.) have had trouble resolving earlier as well.
"I appreciate SDF but it's a general-purpose server and the name doesn't make it obvious that it's about art." - Eugen Rochko