Timo v25.11 is now available with support for compressing PDF documents. Timo is a batch image converter for Debian, Ubuntu, and Fedora.