Feature: Unzip and decompression
Unzip downloaded file, if its name ends with .zip, and has a single file or a single iso file in it. ungz/unbz2 if url ends with bz2 or gz.
{{ resolvedDiscussionCount }}/{{ discussionCount }} {{ resolvedCountText }} resolved
