Re: The *Warnings* buffer and undo

[Richard Stallman]

    I don't think it is a good idea to let-bind buffer-undo-list here:
    instead it should generally be set to t in the buffer.

    Otherwise undo information will be recorded sparsely (for example, for
    user input), leading to inconsistent results.

That was my first reaction, but then it occurred to me that recording
undo info only for user editing might be just the right thing.