For making compact high-quality jpeg files, consider trying jpegli[1], it does an impressive job.

More specifically, if I try a bunch of AVIF quantization options and manually pick the one that appears visually lossless, it beats jpegli, but if I select a quantization option that always looks visually lossless with AVIF, jpegli will win the average size, because I need to use some headroom for images that AVIF does less well on.

1: https://github.com/google/jpegli