Kill ReseterPlugin
Kill HighlighterPlugin
ThemeInfo: fix rgba(,,,)
TextDocument: use app palette