Since moving to w3c's spec-prod to build the spec, there is a spec.html file generated in the github-pages branch, but by default the spec loads index.html (from the old build system). I think to fix this, we'll need to modify the GitHub actions script as described in: https://w3c.github.io/spec-prod/#change-output-location-for-built-files