想要压缩PDF或图片文件大小的用户可以尝试这款自行开发的小工具，它可以一次性批量压缩多个文件，并且操作简单，无需复杂的设置。新版更新于2023年4月10日，可兼容多种操作系统。使用该工具可以大大减少文件传输和存储的时间和空间，提高工作效率。