Человек, переводящий PDF-документы: профессия и инструменты