These changes update the file and folder structure of the GO REF generated pages according to this comment. In particular, a GO REF with ID GO_REF:1234567 will be served at /GO_REF/1234567.
Note that whether or not the .html extension is required is (in part) determined by the web server that serves the files. The web server underlying GitHub Pages in particular does not require the .html extension (although I can't find any GitHub docs that specifically guarantees that). So URLs with or without the .html extension should Just Work™️. I've updated in links presented in the pages to prefer not using the extension.
These changes update the file and folder structure of the GO REF generated pages according to this comment. In particular, a GO REF with ID
GO_REF:1234567will be served at/GO_REF/1234567.Note that whether or not the
.htmlextension is required is (in part) determined by the web server that serves the files. The web server underlying GitHub Pages in particular does not require the.htmlextension (although I can't find any GitHub docs that specifically guarantees that). So URLs with or without the.htmlextension should Just Work™️. I've updated in links presented in the pages to prefer not using the extension.