Update HTMLtoLaTeXTranslator.sh