Man pages matching name mpisync in section 1:

mpisync.1.en

debian 13 / openmpi-doc