MPI_Allreduce.openmpi(3) on Linux

The text 1949fbb9a7ac, as Debian 12 (Bookworm) shipped it.

Combines values from all processes and distributes the result back to all processes.