Manpages of openbox-menu in Debian unstable