I have Firefox on two computers, both on Windows 10. One has a bug, so I need to re-install it. My Firefoxes sync, so I am afraid that if I delete the buggy Firefox and reinstall, I will loose my bookmarks. How do I avoid that? What procedure would avoid that danger?