Provato su di un altro PC, sempre Linux, con lo stesso risultato, la preferenza non rimane memorizzata, viene visualizzata male.
Potrà essere interessante sapere che:
Firefox 15.0a1 del 17/05/2012 funziona correttamente, non presenta il problema.
Firefox 15.0a1 del 18/05/2012 da questa versione nasce il problema.
Riproverò fra una decina di giorni.