1st PR on develop branch for easybuild-docs

ping
use `$XDG_CONFIG_HOME` twice (add missing `$`)