1st PR on develop branch for easybuild-docs

ping
`genindex` leads to an empty page, `modindex` leads to a broken page, the last one doesn't get translated to a link at all