it would be nice if we were able to download individual files from a repository in a compressed format. Compression should be done on-the-fly (and probably only be enabled for small files). A way this could be implemented is by adding
additional "LZMA" / "GZIP" / "BZIP2" buttons next to the "Raw" button
on the file source view. These buttons should link to
respectively. Pressing such a button should compress that file
on-the-fly on the server and send it to the web browser under a name
like <filename>.lzma (or ".gzip" / ".bzip2" appended respectively).
This would help to not host compressed representations of files
separately in the download section. Note that as only single files get
compressed in this use case they should not be wrapped into a TAR
To me, especially LZMA on-the-file compression would be very useful.