Padre-Plugin-Encrypt is a Padre repository