1st PR on develop branch for easybuild-docs

ping
add `...` at the end