Restore sphinx-hoverxref extension with Sphinx 8.2.3

[Copilot]

Reverts the removal of sphinx-hoverxref extension from PR #488, restoring tooltip functionality for glossary terms. Uses Sphinx 8.2.3 (latest in 8.2.x series, as 8.2.4 doesn't exist).

Changes

• docs/requirements.txt: Downgraded Sphinx 9.0.4 → 8.2.3, added sphinx-hoverxref
• requirements.txt: Added sphinx-hoverxref dependency
• docs/source/conf.py: Added hoverxref.extension to extensions list and restored configuration:

  hoverxref_roles = ['term', ]
  hoverxref_role_types = {'term': 'tooltip', }
  hoverxref_tooltip_lazy = True

• docs/source/_static/custom.css: Restored tooltip styling (dotted underline with hover effects)

All changes mirror commits c0c58a7, 5b78484, and 6c73184 that were reverted.

Warning

Firewall rules blocked me from connecting to one or more addresses (expand for details)

I tried to connect to the following addresses, but was blocked by firewall rules:

• pypi.cs.uni-tuebingen.de
  • Triggering command: /usr/bin/pip pip install -q -r requirements.txt (dns block)

If you need me to access, download, or install something from one of these locations, you can either:

• Configure Actions setup steps to set up my environment, which run before the firewall is enabled
• Add the appropriate URLs or hosts to the custom allowlist in this repository's Copilot coding agent settings (admins only)

Original prompt

Please add back hoverxref extension and settings from the three commits:
Remove deprecated sphinx-hoverxref extension (#488) d01034d

Update Sphinx configuration in conf.py
5b78484
Remove sphinx-hoverxref from requirements.txt
c0c58a7

And use it with Sphinx 8.2.4

---

✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.

[coderabbitai]

Important

Review skipped

Bot user detected.

To trigger a single review, invoke the @coderabbitai review command.

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

---

Note

Free review on us!

CodeRabbit is offering free reviews until Wed Dec 17 2025 to showcase some of the refinements we've made.

_{Comment @coderabbitai help to get the list of available commands and usage tips.}

[jpfeuffer]

Wait for merge. But looks good.