Merge branch 'main' into ci/update-gitignore