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

latest yield
```
* allows for easily **reproducing** previous builds
```