Version 0 0 211 464: Add a percent-of-document indicator to pager prompt.