Issue #995 (paging; rendering tentatively done)