MPI_Group_range_incl(3) on Linux

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

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

MPI_Group_range_incl(3) on Linux now