MPI_Comm_set_name_mpi-doc(3) on Linux

The text 5e27b4bf9373, as Debian 6.0 (Squeeze), Debian 5.0 (Lenny) shipped it. The page shows this text now.

give a print name to the communicator