Hello Florian, On Sun, May 27 2018, Florian Weimer wrote: > We have JBIG2 decoders, I think. Surely that is sufficient for OCR? I don't know what ocrmypdf is doing with jbig, but it's the encoder it tries to shell out to. -- Sean Whitton