lava-tool(1) on Linux

The text c4efc9f48130, as Debian 10 (Buster) shipped it. The page shows this text now.

LAVA Tool Command Line Support

lava-tool(1) on Linux now