Matthew Pickering authored May 20, 2024 and Marge Bot committed May 22, 2024

It seems likely broken by 9f99126a which moved `index.html` from the
root folder into `docs/` folder.

Fixes #24840