Unnecessary `docs/index.html` file?

I'm fairly sure that the `index.html` file that serves as the homepage for the docs is generated automatically by sphinx and placed in a dir `docs/build/`:
- this is what happens locally when running the `sphinx-build.sh` command: https://github.com/DiamondLightSource/httomo/blob/c46fb1e359accab2157f0ad53647dd9fc85fef0d/docs/sphinx-build.sh#L22
- and the CI does a similar command to put the output in `docs/build/` https://github.com/DiamondLightSource/httomo/blob/c46fb1e359accab2157f0ad53647dd9fc85fef0d/.github/workflows/httomo_docs.yml#L43-L44

so I don't think the `docs/index.html` file is actually used for anything?