I'm sure there's a fascinating reason they do it, but it makes upgrading via their .deb tar a PITA since they have different package names, so $(apt install ./*

I'm sure there's a fascinating reason they do it, but it makes upgrading via their .deb tar a PITA since they have different package names, so $(apt install ./*.deb) will cheerfully install it side-by-side I'll also take this opportunity to remind folks they offer torrent downloads so you can take some of the download pressure off their infra if you already have a torrent client installed