Browsing the Thot web page today i noticed version 2.1. I did not find any
"updated" documentation though. Is this the version with a more
sophisticated "import" mechanism and a built-in Java interpreter?
Finally, i noticed in amaya the file html2thot.c. It claims that by
compiling html2thot.c as "STANDALONE" you could obtain a "batch" converter
from .html to .PIV. I could not find a make "target" for it and trying
to compile by "hand" seems to indicate that it cannot any longer be
compiled as "STANDALONE". Any hints on this? Thanks.