No matches were found for subject:"Bug#614556\: cdimage.debian.org\: menu option advanced>alternative desktops is hidden"