This appears to use ShareJS for collaborative editing. Like Google Wave, ShareJS sends all operations through a server, so that part isn't WebRTC.

https://github.com/josephg/ShareJS