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

still bits and pieces to improve, but ok to receive the first round of feedback
Add:

Using the short alternative `-D` results in more readable output, and builds that will be forced are indicated as such. For example: