MPI_Win_flush_local_all.openmpi(3) on Linux

The text 5f3a46d648be, as Debian 12 (Bookworm) shipped it.

Complete locally all outstanding RMA operations at the given target