I'm assuming that is something you could get rid of, if you want. It was more the popping over to the repl of the editor that I found fun to watch. And the fa

I'm assuming that is something you could get rid of, if you want. It was more the popping over to the repl of the editor that I found fun to watch. And the fact that it was working.