Remove op_get_prev_page().

It wasn't used, and version control has now preserved it forever,
 so no reason to keep it around.