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

latest yield
this is not exactly a feature, so drop it too