Doc tweaks #2197

Job	Run time
Documentation	11m 35s
Quick Checks	7s
windows-2019 / Debug	4m 45s
ubuntu-latest / gcc / Debug	3m 23s
windows-2019 / RelWithDebInfo	4m 25s
ubuntu-latest / gcc / RelWithDebInfo	7m 18s
windows-2022 / Debug	4m 57s
ubuntu-20.04 / clang / Debug	3m 23s
windows-2022 / RelWithDebInfo	4m 30s
ubuntu-20.04 / clang / RelWithDebInfo	3m 11s
macos-12 / clang / Debug	5m 44s
macos-12 / clang / RelWithDebInfo	4m 21s
	57m 39s

Provide feedback