Bump typing-extensions from 4.0.0 to 4.0.1 in /docs (#1153)

Bumps [typing-extensions](https://github.com/python/typing) from 4.0.0 to 4.0.1.
- [Release notes](https://github.com/python/typing/releases)
- [Changelog](https://github.com/python/typing/blob/master/typing_extensions/CHANGELOG)
- [Commits](https://github.com/python/typing/commits)

---
updated-dependencies:
- dependency-name: typing-extensions
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

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

Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

Author: dependabot[bot]

docs/requirements.txt

@@ -12,7 +12,7 @@ tomlkit==0.7.2
 pygments==2.10.0
 
 # Dependencies of our project:
-typing-extensions==4.0.0
+typing-extensions==4.0.1
 mypy==0.910
 pytest==6.2.5
 hypothesis==6.29.0