Re: [PATCH] riched20: Handle efficiently caret creation/destruction.