Allow $PAGER to override the compiled-in default pager command.
[mmh] / DATE
1 22 April 2012