PDF editor with OCR