modify to introduce multi-lined pasting on Web REPL