There seems to be diminished support for Linux, which is a shame, can I request that if the team have time they could investigate the current PPA issue associated with Linux Mint? Many thanks.