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

latest yield
You're right, this makes things messy... Although I guess it's partially due to the spacious list format.

Maybe it should simply be part of the Contents below, and thus a separate page.