Repository for LaTeX-Encode development