Hello, The Debian menu in the Gnome main menu shows empty. Is there anything to do to get it back? Cheers, Jouke