Paginator that uses all available screen/window width

new mirror; also correct a typo

Created by  Kartik K. Agaram  on January 9, 2023
L5SYYGSBVPFZ5MHG6MIEZW4KJDSU27P3T4Z6IE3SLGACUJ7EOI5QC
Change contents