[elrodeo]

Thanks a lot! I don't remember whyI picked Pagedown.js, but I'll definitely take a look on the alternatives on your list.