pager.py edits