@dunderhead Hmm, I’ll make a note to double-check if it’s in there and add it if not but yes. Either Ctrl + D or Ctrl + C twice (same as Node.js shell, which is what it extends) :)