README.md: information about quitting the interpreter.