highlight2html: purge debug print's