Comment 7 for bug 1161826

Anyway, if you don't like it, no offense taken. I will use my version, and rebase it if I ever need a newer version. I just found it so useful that I cannot imagine not having the automatic pager. Perhaps someone else will find this page useful too, so I upload the whole script here.