1st PR on develop branch for easybuild-docs

ping
... `is version 1.15.2`