MPI_Group_range_incl.openmpi(3) on Linux

The text 972e04f62362, as Debian 9 (Stretch) shipped it.

Creates a new group from ranges of ranks in an existing group.