TeX to TEI-HTML processing now operational, next comes the DocDB handling of results