A plea (from packagers/etc.) to not use GitHub tags as Releases and instead make regular release tarballs.