RichTextMessages

Text for some of the editor's messages, such as the app's own translations. Text keeps the English message's {placeholders}; messages left out come from the built-in catalogue.