A Scribble to HTML/LaTeX converter.