Links for super-latex-tools