MPI_Comm_remote_group(3) on Linux

The text 0ef7c58434c5, as Debian 10 (Buster) shipped it.

Accesses the remote group associated with the given inter-communicator

MPI_Comm_remote_group(3) on Linux now