[jhgg]

I committed a fix, it's now 24k uncompressed! :)

[blitzar]

Congratulations. Don't forget your 11x improvement when it comes to the end of year reviews.

[ajyotirmay]

Yes it is! That should go on your profile. I wonder how much money that simple change is going to save!