@luna oh hey that reminds me of exit
exit
>>> exitUse exit() or Ctrl-D (i.e. EOF) to exit
@dysfun they've changed this one as of 3.13, the new REPL just does what the user clearly wanted
not sure why `license` didn't get the same treatment, though