New release: 2023.8

[hugovk]

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!

[hugovk]

It would be good to get this out before Python 3.12 is released on 2023-10-02.

[hugovk]

And released:

• https://pypi.org/project/python-docs-theme/2023.8/
• https://github.com/python/python-docs-theme/releases/tag/2023.8

Thanks @Mariatta!