GEdit plugin to restore the Preferences option to the Edit menu