humitos@gmail.com Manuel Kaufmann https://github.com/readthedocs/sphinx-hoverxref/issues https://sphinx-hoverxref.readthedocs.io/en/latest/ gentoo-guru-overlay