Dumb question, how do you exit the shell? I feel like I've scoured the docs and can't find it.
\q or \quit
If you get stuck, run \help for a list of commands. $ python
>>> while True:
... pass
...
^CTraceback (most recent call last):
File "<stdin>", line 1, in <module>
KeyboardInterrupt