Merge branch 'master' into dependabot/pip/docs/pygments-2.20.0

Bumps [pygments](https://github.com/pygments/pygments) from 2.19.2 to 2.20.0.
- [Release notes](https://github.com/pygments/pygments/releases)
- [Changelog](https://github.com/pygments/pygments/blob/master/CHANGES)
- [Commits](https://github.com/pygments/pygments/compare/2.19.2...2.20.0)

---
updated-dependencies:
- dependency-name: pygments
  dependency-version: 2.20.0
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>

docs/requirements.txt

@@ -4,7 +4,7 @@ mkdocs-github-admonitions-plugin==0.1.1
 # Thus pointing to the older version of mkdocs-material.
 mkdocs-material==7.1.8
 markdown_include==0.8.1
-pygments==2.19.2
+pygments==2.20.0
 jinja2==3.1.6
 markdown==3.10
 pymdown-extensions==10.17.1