Man pages matching name prun in section 1:

prun.1.en

debian 13 / openmpi-doc