Lepton guarantees that JPEG->Lepton->JPEG produces an identical file, not just identical pixels. Does JPEG XL achieve the same thing?