[GNOME] gedit-plugins - HEAD