experimenting with pydoc pager