More small tweaks. #2399

Job	Run time
Documentation	12m 39s
windows-2019 / Debug	5m 31s
ubuntu-22.04 / gcc / Debug	5m 15s
windows-2019 / RelWithDebInfo	7m 11s
Quick Checks	9s
ubuntu-22.04 / gcc / RelWithDebInfo	10m 36s
windows-2022 / Debug	6m 7s
ubuntu-20.04 / clang / Debug	4m 53s
windows-2022 / RelWithDebInfo	6m 51s
ubuntu-20.04 / clang / RelWithDebInfo	5m 45s
macos-12 / clang / Debug	6m 41s
macos-12 / clang / RelWithDebInfo	5m 29s
	1h 17m 7s

Provide feedback