Apply documentation patches to HaTeX