more paperification of top-level spec details #459

Job	Run time
docker-master	1h 38m 44s
publish-standalone-dry-run	15s
test-standalone (master, dev, default)	1m 3s
build-js-of-ocaml (master, 4.11.1)	14m 25s
build-wasm-of-ocaml (master, 4.14.1)	14m 11s
generated-files (master)	1m 41s
standalone-haskell (master)	55m 24s
test-amd64	2h 21m 59s
validate-docker-master	37m 25s
deploy-js-wasm-of-ocaml	34s
docker-check-all	7s
	6h 5m 48s

Provide feedback