Padre-Plugin-Emacs is a Padre repository