Padre-Plugin-LaTeX is a Padre repository