Debian has two menu systems: