Just reporting this for posterity, I don't actually think it's that big of a deal. Google search reports 10 results per page, whereas we currently report 50 results. How often do you go beyond page 5 when reviewing a Google search? If there are that many results, you should refine your search.
However, it's useful for people trying to read everything in order, or skipping back in time.
And I think we can support it efficiently/reliably. The trick is to use the URIs themselves as the position markers.
Just reporting this for posterity, I don't actually think it's that big of a deal. Google search reports 10 results per page, whereas we currently report 50 results. How often do you go beyond page 5 when reviewing a Google search? If there are that many results, you should refine your search.
However, it's useful for people trying to read everything in order, or skipping back in time.
And I think we can support it efficiently/reliably. The trick is to use the URIs themselves as the position markers.