RichTextBox: Ignored words are marked as wrong when the user adds a word to the dictionary
The word is temporary marked as correct and when another word is added to the dictionary, the ignored one is highlighted again. As a workaround could be used the Ignore All option.