Clarify check-docs.sh early-exit #71

Job	Run time
Soundness / License headers check	3s
Soundness / Unacceptable language check	3s
Soundness / Documentation check	34s
Soundness / Format check	0s
Soundness / Broken symlinks check	3s
Soundness / Python lint check	4s
Soundness / API breakage check	0s
Soundness / Shell check	30s
Soundness / YAML lint check	8s
	1m 25s

Provide feedback