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
the "as opposed" doesn't make sense here, so change to:

... are built with the GCC toolchain.