Man pages matching name ompi-server in section 1:

ompi-server.1.en	debian 10 / openmpi-bin
ompi-server.1.en	debian 11 / openmpi-bin
ompi-server.1.en	debian 12 / openmpi-bin