I wish I'd known about AutoPager before I spent all that effort writing a Greasemonkey script that does essentially the same thing. The script's on my Github account (in my profile) if anyone wants to use that instead of installing an extension; in any case, thanks for the heads-up.