MPI_Buffer_detach.openmpi(3) on Linux

The text 2f3a6076a6c0, as Debian 12 (Bookworm) shipped it.

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

MPI_Buffer_detach.openmpi(3) on Linux now