Alcuni chiarimenti.
La libreria altro non è che il nome della finestra che ti appare dal menu
Segnalibri cliccando su
Visualizza tutti i segnalibri (scorciatoia da tastiera:
Ctrl + Shift + O).
Digita
about:config nella barra degli indirizzi, invio, prometti, cerca tramite il filtro il parametro
browser.bookmarks.autoExportHTML, trovato doppio clic su di esso per variare il suo valore da
false a
true.
(Non ti sto dicendo di fare quanto sopra, ti dico solo come si fa, se farlo o meno decidi tu)
Sparirebbe tutto con una formattazione.
Fai un backup del profilo (subito anche se pensi di formattare fra dieci anni).
Senza usare nessuno strumento miracoloso, semplicemente un copia-incolla della cartella del profilo. L'incolla chiaramente su di una supporto di memoria esterno al pc, pendrive, hard disk portatile, altro pc...
Pagine della guida riguardante il backup:
http://support.mozilla.com/it/kb/Effettuare%20il%20backup%20dei%20dati%20personali?s=profilo#os=win&browser=fx7Pagina della guida riguardante i file più importante contenuti nel profilo:
http://support.mozilla.com/it/kb/Profili?s=profilo&r=3&as=s#w_file-importanti-contenuti-nella-cartella-del-profilo