Removed remaining lines from the --with-pager=... removal, months ago.