Merge branch 'main' into future-clippy-warnings #181

Job	Run time
benchcomp-tests	5m 23s
bookrunner	30m 59s
perf	41m 14s
regression (macos-11)	1h 11m 27s
write-json-symtab-regression	20m 32s
regression (ubuntu-20.04)	32m 9s
regression (ubuntu-22.04)	40m 3s
releasebundle-macos (macos-11)	37m 31s
releasebundle-ubuntu	30m 47s
	5h 10m 5s

Provide feedback