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
Since moving to w3c's
spec-prodto build the spec, there is aspec.htmlfile generated in the github-pages branch, but by default the spec loadsindex.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