Padre-Plugin-HTML is a Padre repository