Session Manager: salvare e ripristinare lo stato delle finestre su Firefox