Bare documentation infrastructure #2

Job	Run time
check-links / get-rtd-info	3s
check-links / check-build-status	3s
check-links / check-links	-1s
	5s

Provide feedback