6664dfb048
Turns out GitHub *does* do gzip encoding by default, it just doesn't show up in the header logs for some reason...