Technical for using WebRTC to sync editors across browsers.