Realtime collaboration inside the code editor