MPI_Group_intersection.openmpi(3) on Linux

The text 6285ff57b5b9, as Debian 10 (Buster) shipped it.

Produces a group at the intersection of two existing groups.