docs: def format_box(title, ch="*"):
      """
      Encloses title in a box. Result is a list
  
      >>> for line in format_box("Today's TODO list"):
      ...     print(line)
      *************************
      *** Today's TODO list ***
      *************************
      """
      lt = len(title)
      return [(ch * (lt + 8)),
              (ch * 3 + " " + title + " " + ch * 3),
              (ch * (lt + 8))
             ]