docs: def scroll_down(lines=1, file=sys.stdout):
      """ Scroll the whole page down a number of lines, new lines are added to
          the top.
  
          Esc[<lines>T
      """
      scroll.down(lines).write(file=file)