several improvements for kbd input, socket.io repl injected as a bookmarklet