Padre-Plugin-Vi is a Padre repository