Padre-Plugin-LineFilter is a Padre repository