Get the gedit 3 plugin working again (mostly python 3 issues).