With decent tools (e.g. mympirun), there's probably no need for the patch (although I haven't looked into the details, I must admit).

This is a documentation aspect, and EasyBuild isn't about documentation... Let's try and avoid making EasyBuild solve all the problems in the world. ;-)