OCR no match found and servers down messages

[ulrich]

Two more general OCR hints:

• If you use OCR, I would use OCR | text=150 (and not 150%), as the % sign can by more tricky to detect.

• But if you distinguish the % sign, use OCR engine2, it is better at OCRing tricky fonts or special characters like % or #.