Padre-Plugin-Autoformat is a Padre repository