Merge remote-tracking branch 'webkit/main' into 2024-11-26_github_actions