I don't believe this problem is related in any way to my internet connection, because I was informed of it by a GitHub Action (so it was inaccessible from a cloud machine, too), and because Down for Everyone or Just Me also shows it as down.
There was a deployment to GitHub Pages about eight hours ago, but I don't know if that is related to the breakage. The deployment appeared to succeed.
Following the Source Code Pro link in
README.md
goes to a 404 page.I don't believe this problem is related in any way to my internet connection, because I was informed of it by a GitHub Action (so it was inaccessible from a cloud machine, too), and because Down for Everyone or Just Me also shows it as down.
There was a deployment to GitHub Pages about eight hours ago, but I don't know if that is related to the breakage. The deployment appeared to succeed.