Small improvements to C4 documentation #5567

Job	Run time
build	31m 59s
build (--enable-shared)	31m 16s
build (--with-gambit=master)	32m 49s
build (--with-gambit=master, --enable-shared)	32m 39s
	2h 8m 43s

Provide feedback