Information on the LaTeX to HTML Translator