I replied upthread, but I made a mistake reading https://docs.github.com/en/github/working-with-github-pages/... when revisiting what I remembered, and I was just looking at it from the perspective of private repos. My bad!