PNG → JPG

PNGs are big. JPG, at quality 85, is often a quarter the size and indistinguishable at normal viewing.