cherry-pick a pager robustness improvement
Source for buildrump.sh git rev bdff385083f543f155e38f9ceb6176847e5fcbcc