MPI_Buffer_detach.openmpi(3) on Linux

The text e98a15f04eb2, as Debian 9 (Stretch) shipped it.

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

MPI_Buffer_detach.openmpi(3) on Linux now