Paginator that uses all available screen/window width

a few more renames

Created by  Kartik K. Agaram  on December 23, 2022
WZZGVKSGCAEPDTHCT4IKNNAWDHUEATGOAT4FBLQUPF64CSJSNVJQC
Change contents