Man pages matching name 9menu in section 1:

9menu.1.en	debian 10 / 9menu
9menu.1.en	debian 11 / 9menu
9menu.1.en	debian 12 / 9menu