Paginator that uses all available screen/window width

while we're at it, undo naming points

Created by  Kartik K. Agaram  on June 10, 2022
SHEGBK4HP2KVIXQBVLD2E4XUEFEB3V7KFKVC7HY65TIUTL5YOH7QC
Change contents