as demonstrated by @ahihi here, we can do editor integrations via websockets (repl must be open in the background). maybe we can integrate this client side websocket setup as a strudel package, so there would be a standardized way to communicate with the repl, enabling the integration of other editors.. maybe the repl could also send stuff back, like highlighting info etc..