Texto interessante sobre comparação de diversos programas para codificação e decodificação de imagens: https://cloudinary.com/blog/jpeg-xl-and-the-pareto-front. Resumidamente: libjxl, uma implementação do JPEG-XL, é a melhor opção. O jpegli, basicamente um libjpeg-turbo com melhorias importadas do libjxl e que produz imagens no formato JPEG, oferece resultados competitivos em relação ao WEBP (porém inferior ao JPEG-XL e AVIF).

Nisso esbarrei em uma comparação de compressão sem perda de imagens: https://docs.google.com/spreadsheets/d/1ju4q1WkaXT7WoxZINmQpf4ElgMD2VMlqeDN2DuZ6yJ8/edit#gid=1767252976. Nunca tinha ouvido falar do BMF e EMMA. Compressores experimentais e lentos, porém até 10% melhores que o libjpeg-xl (no caso do EMMA).

Nessa mesma tabela, descobri a melhor opção para recomprimir arquivos PNG: Pingo + Brotli (pingo -sa -nocompression -strip + brotli –best).

Sobre a possível inlegalidade do modelo adotado para as escolas cívico-militares do Paraná: https://g1.globo.com/pr/parana/noticia/2024/04/05/modelo-de-escolas-civico-militares-do-parana-e-inconstitucional-afirma-agu.ghtml