../debian-edu/default-menu.cfg