MPI_Intercomm_create_from_groups(3) on Linux

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

Create an intercommuncator from local and remote groups