gui_menu_draw_menu(3alleg4) on Linux

The text 09fc5c407030, as Debian 13 (Trixie), Debian 12 (Bookworm), Debian 11 (Bullseye) shipped it. The page shows this text now.

Hooks to modify the appearance of menus. Allegro game programming library.