MPI_Gatherv.openmpi(3) on Linux

The text 56cede78819d, as Debian 12 (Bookworm) shipped it.

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

MPI_Gatherv.openmpi(3) on Linux now