PGASetCommunicator(3) on Linux
The text 6c5dbdfeedcc, as Debian 1.1 (Buzz) shipped it.
Set the default communicator to use when PGARun is called. Does not necessarily need to be the same as the number of processes in MPI_COMM_WORLD (which is the default).