menu_userptr(3menu) on Linux

The text 08da5dc8cc70, as Debian 1.3 (Bo), Debian 1.2 (Rex), Debian 1.1 (Buzz) shipped it.

associate application data with a menu item

menu_userptr(3menu) on Linux now