Man pages matching name lava-tool in section 1:

lava-tool.1.en

debian 10 / lava-tool