I see next:

> If you are having problems, it may be helpful to check the mailing list archives first

I could see https://lists.lavasoftware.org/pipermail/lava-users/, but how can I search?