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

latest yield
or maybe replace by

```
* robust and thoroughly tested code base
```