docs: def scroll_up(lines=1, file=sys.stdout):
      """ Scroll the whole page up a number of lines, new lines are added to
          the bottom.
  
          Esc[<lines>S
      """
      scroll.up(lines).write(file=file)