Nth PR on develop branch for easybuild-docs, for N=9

latest yield
single-space indentation may fix the spacious formatting issue?