The text bf331f41c8b0, as Debian 9 (Stretch) shipped it.
Create and manipulate Menu widgets
Tk::Menu(3pm) on Linux now