Padre-Plugin-SSH is a Padre repository