Gedit3 plugin to reformat code when using it as an example in HTML pages