MPI_Gatherv.openmpi(3) on Linux

The text 093491ac77e4, as Debian 10 (Buster) shipped it.

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

MPI_Gatherv.openmpi(3) on Linux now