readthedocs.org

b5a05f2a - Merge pull request #8927 from readthedocs/hoverxref-fix