A tool for finding common mistakes in LaTeX documents