Last released Jul 26, 2022
A Sphinx extension to provide redirection to an entity by its ID.
Supported by