Bump sphinx from 7.0.1 to 7.2.5

Bumps [sphinx](https://github.com/sphinx-doc/sphinx) from 7.0.1 to 7.2.5.
- [Release notes](https://github.com/sphinx-doc/sphinx/releases)
- [Changelog](https://github.com/sphinx-doc/sphinx/blob/master/CHANGES)
- [Commits](sphinx-doc/sphinx@v7.0.1...v7.2.5)

---
updated-dependencies:
- dependency-name: sphinx
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>

docs/requirements.txt

@@ -1,4 +1,4 @@
-sphinx==7.0.1
+sphinx==7.2.5
 sphinx-rtd-theme
 sphinxcontrib-jquery
 setuptools>=65.5.1 # not directly required, pinned by Snyk to avoid a vulnerability