Problem

Linux releases come in too many flavors: appimage, tar.gz archive, deb package. This is confusing and a waste of resources.

Expected behavior

Only provide a single release format: appimage, which is the "blessed" format that Just Works™️ but can also be extracted locally.

As tar.gz is used by many downstream projects for their CI, we should leave it for now but make clear that it's only provided for that purpose and that end users are strongly encouraged to use the appimage. Also push downstream to switch to appimages instead so we can remove that for 0.10.

Plan

1. Drop the .deb for the 0.9 release
2. Drop the .tar release for nightlies sometime during 0.10

This means that

• 0.9 will only release as .appimage and .tar
• 0.10 will release only as .appimage
• nightlies will drop .deb after 0.9, and .tar some time after that (with a longer announcement period).