Update doc to reflect new non-nil value of redisplay-dont-pause.