txt2html: rename to txt2pre