GobView CI job fails with `ModuleNotFoundError: No module named 'typing_extensions'`

[sim642]

This started failing today: https://github.com/goblint/analyzer/actions/runs/7623127712/job/20763900396.

There seems to be a new selenium version today: https://pypi.org/project/selenium/4.17.0/#history. It includes a change which seems related: SeleniumHQ/selenium#13402. Although it also seems to add the typing_extensions dependency but our CI for some reason doesn't install it?!

[sim642]

Looks like selenium fixed it with SeleniumHQ/selenium#13487 and made a release. Latest GobView CI jobs succeeded again.