Also: If I (or my aforementioned dad) install an AppImage, that is named "Nextcloud-DesktopClient-4.0.4.AppImage" that sets up its own startup shortcut and so on, and then I download an update (because the program literally asked me to download the new AppImage), and the new file is named "Nextcloud-DesktopClient-4.0.5.AppImage", am I supposed to rename it to 4.0.4 manually? Rubs me the wrong way somehow. Or am I supposed to know to rename it to a version-agnostic filename before first opening it, so I don't break things when it updates weeks down the line? My dad wouldn't think of either of these options by the way.