Documentation fixes #860

Job	Run time
build (macos-latest, esp8266, gcc)	26m 20s
build (macos-latest, host, gcc)	17m 34s
build (macos-latest, rp2040, gcc)	14m 5s
build (ubuntu-latest, esp8266, gcc)	18m 3s
build (ubuntu-latest, host, clang, Host)	23m 58s
build (ubuntu-latest, host, gcc)	21m 5s
build (ubuntu-latest, host, gcc64, Host)	22m 47s
build (ubuntu-latest, rp2040, gcc)	17m 41s
build (windows-latest, esp8266, gcc)	9m 18s
build (windows-latest, host, gcc)	29m 36s
build (windows-latest, rp2040, gcc)	8m 28s
	3h 28m 55s

Provide feedback