Merge remote-tracking branch 'origin/main' into toolchain-2024-09-18-… #438

Job	Run time
documentation	2m 3s
benchcomp-tests	5m 20s
perf	34m 8s
write-json-symtab-regression	17m 36s
regression (macos-13)	41m 49s
regression (ubuntu-20.04)	29m 9s
regression (ubuntu-22.04)	27m 54s
regression (macos-14)	28m 41s
	3h 6m 40s

Provide feedback