MPI_Free_mem.openmpi(3) on Linux

The text 6ac37d693fee, as Debian 12 (Bookworm) shipped it.

Frees memory that has been allocated using MPI_Alloc_mem.

MPI_Free_mem.openmpi(3) on Linux now