MPI_Group_range_incl.openmpi(3) on Linux

The text efcce7ba6456, as Debian 12 (Bookworm) shipped it.

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