Dunque, sembrerebbe esserci una soluzione, data dall'utente cor_el nella discussione che ho aperto sul forum internazionale.
Occorre mettere a 0 le due preferenze
browser.sessionstore.max_serialize_back
browser.sessionstore.max_serialize_forward
In questo modo il file sessionstore.js non viene creato, mentre continua a esserci la possibilità di andare avanti e indietro durante la sessione.