1st PR on develop branch for easybuild-docs

ping
mention `IRC channel on the Freenode network`