Paginator that uses all available screen/window width

get rid of an old special-case in this fork

I find scrolling less than a screenful useful in the presence of long lines, but here we're already stitching one page in common each time we scroll.

Created by  Kartik K. Agaram  on April 20, 2023
4I52UZRIWNIMVTD2TV5VGCK7P4C666YV6EAYJ4RB3F6SRUUTY4MQC
Change contents