Package runpage is a script's run history read a page at a time (#1972):
the filter a request's query asks for, and the total the page reports, which
is every run the filter matches rather than the rows one page holds.
Total is every run the filter matches: the store's count when it keeps
one, and otherwise, or when the count fails, the rows the page holds plus
the ones it skipped, which is the most that is known.