RichTextBox: TxtFormatProvider: Provide an option for changing the encoding when importing
The TxtFormatProvider always imports the document with UTF8 encoding. It will be great if users could change this setting in order to import document with different encodings.