Possibile che il "problema" con il tasto F1 sia stato utilizzato per rendere "libero" quel tasto nel caso si installi l'add-on "F1" per lo sharing delle pagine web?
Comunque, vorrei sapere se altri hanno riscontrato un anomalia strana quando si seleziona "Componenti aggiuntivi" dal menù Firefox: praticamente...non funziona. O meglio, non funziona, e poi si sblocca quando minimizzo e massimizzo FF, ma non sono sicuro al 100% sia una soluzione...