The makers of JPEGmini to the rescue…again.