MPI_Group_intersection.openmpi(3) on Linux

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

Produces a group at the intersection of two existing groups.