MPI_Gatherv.openmpi(3) on Linux

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

Gathers varying amounts of data from all processes to the root process

MPI_Gatherv.openmpi(3) on Linux now