MPI_Comm_dup_with_info.openmpi(3) on Linux

The text bd974d2add9a, as Debian 9 (Stretch) shipped it.

Duplicates an existing communicator using provided info.