Spell-check plugin for gedit, the GNOME 3 editor.