requestname(3menu) on Linux

The text 7917c3b7c124, as Debian 3.1 (Sarge), Debian 2.2 (Potato) shipped it.

handle printable menu request names

requestname(3menu) on Linux now