Yeah Acrobat and ABBYY editors are really only useful as a last resort when you don't have time to recreate someone's PDF but you really need a couple words changed.

But they are life-savers when that's your situation.