Ti ringrazio per le risposte. Ho aperto l'ultimo link che mi hai allegato. Ho trovato una procedura di Mozilla che ho già eseguito. Essa indica di scegliere il ripristino dei Segnalibri relativi a una data tra tante poste in elenco. Purtroppo, nel mio caso, non ho trovato una data antecedente a quella del virus, per cui, a questo punto, credo che quei segnalibri siano definitivamente scomparsi. Pazienza, me li ricostruirò piano piano nel tempo. Grazie ancora.