It seems pdf chose jpegxl, so they would have shipped with a decoder regardless. But, yeah.