Miscellaneous LaTeX tools by Mark Wooding
