It is the one here at the community-built software link. Community-built software
I have successfully used that .AppImage on two other computers without having created the desktop launchers. BTW, I am using Linux Mint 18.3 Sylvia MATE 64-bit on the failing computer, and 18.1 and 17.3 on the others. Thanks for your input in this matter.
Carl