backup dos "bookmarks" do Firefox

[l20109]

Alguém conhece uma extensão do Firefox ou um programa que permita exportar os bookmarks do Firefox para um ficheiro HTML, tal como o IE permite fazer, de forma a poder criar um backup dos favoritos deste browser? Tenho de formatar um PC com o Firefox instalado (em Windows XP) mas, como é compreensível, não queria perder todos os favoritos que foram adicionados a este browser.

[l20109]

Bem, já descobri uma forma de resolver o problema: é ir ao "gestor de marcadores" do Firefox, menu Ficheiro -> Exportar, escolher a pasta de destino... et voilá! Tenho o problema resolvido!