The text 453ea58f84ce, as Debian 12 (Bookworm) shipped it.
Detach memory from a dynamic window
MPI_Win_detach(3) on Linux now
