Hello, I'm a long time Mac user but recently switched to Linux Mint 20.1 Cinnamon for faster processing. I tried to update to the new PixInsight release 1.8.8.8 but on start up it was still the previous version. I had right clicked on the previous version icon and clicked uninstall, but I get a message that it is not associated to the package, even though it launches the program ! I tried Synaptic package manager but when I search for PixInsight no such package is found. It was originally installed under home in a directory called pi-install which contains several folders but no program. I found a hidden directoy under home called .PixInsight which contains a license and a conf file but no program. I'm hoping someone more knowledgeable in linux can help point me in the right direction so I can install the update.