Paginator that uses all available screen/window width

turns out super- chords to get to textinput

Created by  Kartik K. Agaram  on June 22, 2022
ED2FYWDKXB2CFWFGZLJ5EIET3FVBE46A2ZJFKO2CXJ54U5CFFF3QC
Change contents