MPI_Group_range_excl.openmpi(3) on Linux

The text 7cbbfbc964f9, as Debian 11 (Bullseye) shipped it.

Produces a group by excluding ranges of processes from an existing group.