Merge remote-tracking branch 'origin/main' into toolchain-upgrade-202… #282

Job	Run time
documentation	36s
benchcomp-tests	4m 5s
regression (macos-13)	4m 41s
perf	4m 34s
regression (ubuntu-20.04)	4m 41s
write-json-symtab-regression	5m 49s
regression (ubuntu-22.04)	4m 21s
	28m 47s

Provide feedback