The text 861e69ec9bbb, as Debian 9 (Stretch) shipped it.
See external documentation: wxMenu.
wxMenu(3erl) on Linux now
