A rich text editor for everyday writing