Hi Marc, > * the patched version of the script is in the pdf file and > a simple copy/paste just ruins the code.
One small help may be
mutool draw -o paper.txt pdfRiXK_KnNhU.pdf
which doesn't do too bad a job of extracting the code. There's no
indentation, ASCII circumflexes will need resurrecting from their
flashier cousin, etc.
--
Cheers, Ralph.
