It is real-time editing! We leverage web-sockets to sync across multiple logged-in sessions. But as of today it does not support multiple users collaborating on the same document.