Add spinner to “fetching more lines”
Grow to much bigger max page size
Get rid of delay on paging (in real usage, doesn’t seem necessary).
Fix shrink bug
Clear more intervals when navigating away from the tail view.
Deal with the max server page size of 2^16