A Rich Text Editor for iOS