Lepton: tool and file format for losslessly compressing JPEGs for 22%github.com/dropbox3 pointscia4862179310 years ago