...Allora, no, c'è un problema: ho trovato il file corretto nella nuova cartella che ora firefox crea con varie sessioni precedenti (ci sono sia i *.js che i *.bak).
Ho provato a rinominarlo in sessionrestore e piazzarlo nella cartella di un nuovo profilo.
Anche lì il ripristino non parte n'è automaticamente nè se vado in about:sessionrestore, ma qui, stavolta, l'opzione 'ripristina la sessione precedente' è disponibile (non
grayed out), e se ci clicco mi ridà finalmente tutta la vecchia versione.
Solo che la stessa cosa non posso farla col mio vecchio profilo, dove tral'altro bartab non funziona più ed anche adblock ha qualche problema.
Credo quindi ci sia un qualche conflitto.
Come lo identifico? 8non ho intenzione di passare ad un profilo nuovo dopo il bordello di preferenze, estensioni e preferenze di estensioni ho settato...)