Simple text editor based on tiptap. HTML format.