add some plugin settings: gundo, Unicode-RST-Tables, sequence