> You gave me a small shock, but I checked and it was only 11/12 years ago :D
HAha! Either I misstyped 12 as 21, either I'm bad at math, sorry for the shock ;)
> I'm fine with moving this out of tree; please coordinate with the Sphinx maintainers whether it should be an "official" extension or completely separate.
They propose [1] to have it in sphinx-contrib ("A collection of Sphinx extensions maintained by their respective authors. It is not an official part of Sphinx."), what do you think?
[1] https://github.com/sphinx-doc/sphinx/issues/10143#issuecomment-1025093280