[plt-dev] JFYI editor performance note

At Fri, 17 Apr 2009 13:48:57 -0700, John Clements wrote:
> 2) Pasting text from one buffer into another is a particular problem,  
> often taking many seconds.

I think I've fixed this part.

The default on the `overwrite-styles?' argument of `read-from-file'
(which is also used for pasting from the clipboard) was backward
compared the old implementation (because it was documented wrong),
causing lots of unnecessary style notifications and size recalculations
on each paste.