Accidenti Godai71, da tempo immemore avevo installato "Menù editor" e non so come si era deselezionata la voce relativa ... non sapevo nemmeno che in Firefox ci fosse già il comando; me ne sono accorto solo ora che ne ho la necessità e che tu me lo hai indicato!
Grazie, e mi scuso per la domanda sciocca!
