> I don't understand why the PDF.js viewer delayed the render if the scroll was recently,

When the user scrolls, the UI should not be blocked. However, if pages are rendered the rendering might take more than 10ms and therefore the user won't get 60fs. Therefore, rendering is stopped while and short after a scroll event happened. Okay to keep this code for now.