The text e45e7933fdf7, as Debian 1.3 (Bo) shipped it.
menu definitions file for pdmenu
pdmenurc(5) on Linux now