Padre-Plugin-Snippet is a Padre repository