Caro fabrixx, grazie infinite per la risposta... ma purtroppo non fa al caso mio...
Devi infatti sapere che avevo già l'estensione menuX, utilissima per quanto riguarda i pulsanti in più (anche se in effetti usavo solo quello delle opzioni), ma a me quasi completamente inutile per molte altre funzioni che implementa.
L'ho disinstallata quando mi sono accorto che una sua combinazione di tasti (CTRL+SHIFT+S) contrastava con quella di Hide Searchbar, ne avevo parlato
qui.
Avevo poi cercato un'altra estensione, magari con meno funzioni di MenuX, per inserire un pulsante delle opzioni di Firefox nella barra degli strumenti, e avevo trovato CTB. Ma poi è sorto il problema che ho posto qui.
Altri suggerimenti?