MPI_Group_range_incl.openmpi(3) on Linux

The text 334632949af1, as Debian 11 (Bullseye) shipped it.

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