 We might still want to provide a way to send the Ctrl+C command, but the current text makes it look as if perhaps the editor is not in "REPL" mode. We shouldn't look into this one yet, as first we might need to reconsider the serial/REPL UX.