Documentation fixes #940

Job	Run time
build (macos-latest, esp8266, gcc)	25m 4s
build (macos-latest, host, gcc)	18m 42s
build (macos-latest, rp2040, gcc)	13m 34s
build (ubuntu-latest, esp8266, gcc)	16m 0s
build (ubuntu-latest, host, clang, Host)	22m 24s
build (ubuntu-latest, host, gcc)	21m 5s
build (ubuntu-latest, host, gcc64, Host)	19m 58s
build (ubuntu-latest, rp2040, gcc)	16m 39s
build (windows-latest, esp8266, gcc)	9m 2s
build (windows-latest, rp2040, gcc)	7m 48s
build (windows-latest, host, gcc)	27m 22s
	3h 17m 38s

Provide feedback