Re: undo in loaddefs.el buffer

[Richard Stallman]

    The change you made to the manual says that timers (as opposed to idle
    timers) should not edit user buffers.

Here is what it says:

      Timer functions should normally not alter the current buffer
    contents,

That is correct; I don't see a reason to change it.

The manual is not supposed to describe every possible exception to the
rules that could be made to work.  That would make the manual too
big, too complicated, and too hard to read for ordinary purposes.