MPI_Free_mem.openmpi(3) on Linux

The text 7da8209ef7e1, as Debian 11 (Bullseye) shipped it.

Frees memory that has been allocated using MPI_Alloc_mem.

MPI_Free_mem.openmpi(3) on Linux now