Convertir TNS en TXT

Apparemment, il n'est pas possible de convertir les derniers documents .tns (TI-Nspire) en format de texte brut (fichiers .txt). Certaines anciennes versions du format TNS étaient simplement des ZIP spéciaux avec un en-tête supplémentaire, donc il n'est pas reconnu dans divers utilitaires qui prennent en charge ZIP, mais les dernières versions semblent être dans un format propriétaire, ce qui rend la conversion directe de tns à txt problématique.