Réponses:
Vous pouvez utiliser LibreOffice avec l'extension d'importation de pdf ou utiliser Abiword pour éditer vos documents pdf avec un correcteur orthographique.
L'extension peut être installée sur la ligne de commande avec:
sudo apt-get install libreoffice-pdfimport
Et Abiword peut être installé avec:
sudo apt-get install abiword