In the editor: Ctrl-Space selects code and
          Ctrl-Enter executes it.
          In the terminal: Shift-Enter gives a newline,
          Ctrl-l clears the display, and
          Ctrl-k resets the toplevel.
          Press Ctrl-, to switch between the terminal and editor.
          (About this page.)