OK, done in this PR #746 

here is how it looked like one microsecond before its removal: :-P
https://github.com/fgeorgatos/easybuild-easyconfigs/commit/c023e9aae7956c3798f7f14669f2a7d37091849c
anyhow, the new PR is much more nicely documented.