Re: [PATCH 4/4] pager: do wait_for_pager on signal death

Thanks; I agree with you that I do not see a good reason _not_ to be
handling those other signals at some of the "just handle SIGINT" sites,
and I like the direction in whcih this series is taking us very much.