iI understand the argument, and that applies also for the other patch file; 
yet, if you watch carefully though, it may help *a lot* newcomers, because OpenMPI is seriously annoying with the changing in naming of the variable for defining the connector; to make things more interesting, more recent versions *reverted back to the old style* and this makes this new patch interesting… anyway, I'm cool about it, if you don't like it let's drop it