DOKK / manpages

Man pages matching name .openmpi in section 1: