I tried to download FredoTools and Toposhaper yesterday. My current LibFredo6 version is 8.5. I got a message saying that I need LibFredo6 version 86 for FredoTools and LibFredo6 version 87 for Toposhaper. The extension manager doesn't give me the option of updating my 8.5 version. Do I need to uninstall version 8.5 and then install version 8.7? Or do I leave 8.5 in the manager and just install 8.7?