GZIP encoding = happier users? | Hacker News Reader