pydoc.pager does not promise to use $PAGER.
2 files changed