DOKK / manpages

Man pages matching name orte-info in section 1:

orte-info.1.en debian 11 / openmpi-bin
orte-info.1.en debian 12 / openmpi-bin