more paperification of top-level spec details #838

Job	Run time
install (dev, 4.11.1, Ubuntu, ubuntu-latest)	39m 55s
install (dev, 4.11.1, macOS, macos-latest)	44m 47s
install (dev, 4.11.1, Windows, windows-latest, -async-proofs-j 1, opam-repository-mingw: https://...	1h 34m 12s
install (8.19.0, 4.11.1, Ubuntu, ubuntu-latest)	40m 4s
install (8.19.0, 4.11.1, macOS, macos-latest)	1h 8m 2s
install (8.19.0, 4.11.1, Windows, windows-latest, -async-proofs-j 1, opam-repository-mingw: https...	1h 33m 30s
install (8.18.0, 4.11.1, Ubuntu, ubuntu-latest)	40m 16s
install (8.18.0, 4.11.1, macOS, macos-latest)	44m 41s
install (8.18.0, 4.11.1, Windows, windows-latest, -async-proofs-j 1, opam-repository-mingw: https...	1h 37m 28s
	9h 22m 55s

Provide feedback