Manpages of openbox-menu in Debian buster