On Tue, Feb 11, 2014 at 8:18 AM, Yuri Astrakhan <yastrakhan@wikimedia.org> wrote:
> Also, there seems to be a problem with the server -- the icon is not being gziped in response:

On Tue, Feb 11, 2014 at 8:31 AM, Brion Vibber <bvibber@wikimedia.org> wrote:
> The server's probably not configured to gzip .ico files by default, so that's not a huge surprise,
> but would likely be an easy configuration tweak.

Submitted as <https://gerrit.wikimedia.org/r/#/c/108484/4>; sorry for taking a while to act on this.