storm@cua.dk (Kim F. Storm) writes:

> David Kastrup <dak@gnu.org> writes:
>
>>  I propose checking this change in.
>
> Done.
>
>>  It might be worth
>> mentioning redisplay-dont-pause in the DOC string of sit-for.  If
>> people agree, I could write something for there.
>
> Please do.

I came up with