I just got an email about this pdf-ocr converter. I haven't tried it
myself, but for the $15 price drop for a lifetime license it seems worth
checking out. Should be possible to invoke a (OSX) shell command to do
The usual caveats about ocr accuracy apply, of course.