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

latest yield
drop this, merge with ``co-existence`` line