EndMenu(3w) on Linux

The text 12c36899de4b, as Debian 2.1 (Slink) shipped it. The page shows this text now.

EndMenu (USER.187) (USER32.175)

EndMenu(3w) on Linux now