Padre-Plugin-PSI is a Padre repository