Fix style: bullet points in comments.

Improve documentation for pagination.

Implement generic pagination internally.