MPI_Buffer_detach.openmpi(3) on Linux

The text 0827f5757308, as Debian 11 (Bullseye) shipped it.

Removes an existing buffer (for use in MPI_Bsend, etc.)

MPI_Buffer_detach.openmpi(3) on Linux now