PDF Translator: What is it exactly?