想求一个好用的gif压缩工具 最近发现ppt巨大，然后罪魁祸首就是里面的gif，有一百多m大小的，找了几个在线免费网站用过几个有上传文件大小限制，有没有比较推荐的免费工具？