if the server sends compression on we deal with it - do we recompress on the client side? No. Why? Performance! Any recompression is taking significant system performance. Think about the worst case, when we need to recompress a 8 GB ISO again and the times 5 or so. This is a massive hit.
But as said, if the server sends compression we happily deal with it.