Man pages matching name lava-coordinator in section 8:

lava-coordinator.8.en

debian 10 / lava-coordinator