Comment by masklinn

Why doesn't it just quit? That's as stupid as Python's

    >>> quit
    Use quit() or Ctrl-D (i.e. EOF) to exit

The software knows perfectly well what I'm trying to do FFS.