Various plugins for gedit.
