Infinite Scroll is a detestable feature. When you hit the refresh button, you end up at the top again, and have to scroll for a long time to get back to where you were.
Pagination is always better.
