[Galaxy-user] a suggestion - compressing download files