Padre-Plugin-Kate is a Padre repository