Merge remote-tracking branch 'origin/main' into harden-github-actions-with-zizmor

# Conflicts:
#	.github/workflows/publish-to-pypi.yml

Author: tobiasraabe