Use sphinx-contributors to generate the list of authors?

[leouieda]

Just stumbled on this: https://sphinx-contributors.readthedocs.io/en/latest/index.html

It generates a list of contributors to a repository with the GitHub API in a format very similar to our own. Using this could simplify the build process a bit since we wouldn’t need to maintain the code for scraping the AUTHORS files. It could also work for repositories that don’t have an AUTHORS file, like this one.

Any thoughts?