While we should be careful not to blindly rewrite all images from our
Git repo as it may grow .git with little benefit, banner.png is on every
page of our website, so optimizing it by more than 50% can be worth it.