Please could we have a new PyPI release? The version and changelog have already been updated: * https://github.com/python/python-docs-theme/pull/151 @JulienPalard Are you available to do it? Thank you!