Man pages matching name lava in section 1:

lava.1.en

debian 10 / lava-tool