Hahah, I experimented with a collaborative WebRTC feature for our code editor this summer. It ultimately never made it off its feature branch. Fun to see someon

Hahah, I experimented with a collaborative WebRTC feature for our code editor this summer. It ultimately never made it off its feature branch. Fun to see someone else implement it!