画像ファイルのサイズ削減だけなら、TwitterやimastodonがやっているJPEG化が効果絶大ではあるんだが、不可逆なのがちょっと