Padre-Plugin-XML is a Padre repository