Hi!
Und doch noch ein DjVu-Artikel: djvu2pdf, zur Umwandlung von DjVu-Dateien in PDFs. Das Ausgangsprogramm ist recht "simple", die Erweiterung macht es variabler; und eine direkte Übertragung von DjVu-Textebenen war bisher schwierig (mir ist kein anderes Programm bekannt, vielleicht kennt jemand entsprechendes?)
Ich wäre soweit durch; Anmerkungen, konstruktive Kritik, Lob und Tadel wie immer willkommen! (wiewohl ich weiß, dass ich mit djvu-Artikeln meist ziemlich einsam dastehe 😉)
so long
hank
EDIT Wie übersetze ich denn wohl "terminal escape sequences" vernünftig? ... 😕