We should definitely do a "most popular Sphinx extensions" post, using our data & PyPI stats if we can find them. Also there's an interesting one around Sphinx version/theme adoption using our data & https://pepy.tech/project/sphinx & https://pepy.tech/project/sphinx_rtd_theme (edited)