Updated hatex-guide.pdf.