gzip is basically free on modern server hardware – if it makes life easier on mobile devices, this is a pretty easy tradeoff.