This is definitely important at Google-scale, but for the rest of us compressed JSON typically isn't that bad.