I don't understand why the PDF.js viewer delayed the render if the scroll was recently, but that doesn't mean that it's not important. Leaving it in was partly because I was hoping to come back to it, but it was also a bit sloppy. I'll remove it for now.