A Perl script that converts HTML files to LaTe