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

latest yield
now these list items and the remarks below have a different indentation level in the rendered output... what gives?!