docs: def readline(self):
          """Get the next line including the newline or '' on EOF."""
          self.lineno += 1
          if self._buffer:
              return self._buffer.pop()
          else:
              return self.input.readline()