MPI_Win_sync.openmpi(3) on Linux

The text 5dbf5931a1b2, as Debian 11 (Bullseye) shipped it.

Synchronize the private and public copies of the window

MPI_Win_sync.openmpi(3) on Linux now