MPI_Group_range_incl.openmpi(3) on Linux

The text 912bf4a66dc5, as Debian 10 (Buster) shipped it.

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