Grazie per le risposte :) Darò un'occhiata a apt-key, comunque per extensions.gnome.org mi sembra strano che non ci sia una funzione cerca... no? In settimana cerco di installare tutto per bene :P