I can install gnome-software on mint from the repos and get them that way, so it doesn’t really matter I guess, but I was just wondering . . .