Man pages matching name wimenu in section 1:

wimenu.1.en

debian 10 / wmii