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
We are currently replacing it manually, by hand; 

That's why I was asking for a VM last week; yet we considered it a hassle and simply skipped it.
IMHO, there has to be a well-defined procedure that is used each and every time to produce the documentation, that requires as few keystrokes from a human as "humanly possible" (!).

@stdweird: Try to think of the long term needs and come up with your preference...