The well-known pager, with performance improvements for huge files