https://wiki.gnome.org/Apps/Gedit/ThirdPartyPlugins
