1st PR on develop branch for easybuild-docs

ping
is linking to `irc://...` useful in any way?