Replaces openbox-menu by Debian menu.