Re: redisplay-dont-pause does not work

[Richard Stallman]

    I am checking for factual correctness of display.texi at the moment.

Thank you for checking it!

    However, if I do

    M-: (progn (redraw-display) (let ((redisplay-dont-pause t)) (sleep-for
    1) (sit-for 0) (sleep-for 5))) RET

    and press C-n within 1 second, then no redisplay occurs for the whole
    duration of 6 seconds.

That seems correct to me.  sit-for sees there is input, so it does
not redisplay.

Do you perceive a contradiction between any part of the documentation
and this observed behavior?