Mi hai messo la pulce con la personalizzazione del menu del tasto destro di Gnome.
Ci deve essere qualcosa...