1st PR on develop branch for easybuild-docs

ping
I have burned some more time on this and I haven't been out of the tunnel yet;
IMHO, it's unjustified to have it postponing other things, so it known belongs in the TODO list...