MPI_Group_range_incl.openmpi(3) on Linux

The text 779220ab2a14, as Debian 8 (Jessie) shipped it.

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