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.