PDF I wanted to translate had…

PDF I wanted to translate had been done by scanning a document. So I had to use an OCR, clean it up, then pass it through the translator, then tweak it ... Worth the trouble, however.