Upgrade HaTeX dependency.