Padre-Plugin-SDL is a Padre repository