(Sphinx) Buildsystem docs 404
The links to the sphinx-generated buildsystem docs at https://dune-project.org/buildsystem/ give 404 errors in an interesting way[1].
[1] A dune-layout 404 page in a frame inside another dune-layout, and the error-reporting link in the 404 page does not work, possibly because the frame is from dune-project.org, but the link goes to gitlab.dune-project.org, which when occurring in a frame might trigger XSS protection?