I see. I didn't see that. However there is a beta release for the 4.0 version so I think it should be cleaner to get that version from git (the specific commit) since that integrates with the system and doesn't install a appimage introducing clutter. But the decision is yours to take.
Regards, Gonçalo Pereira
