General-purpose LaTeX tools and scripts