docs: def readlines(self):
          """Read a command from the terminal.
  
          Returns a list of tokens containing the user's input.
          """
          continuation = False
          while True:
              yield self.readline(continuation)
              continuation = True