websocket-based synchronization. push notifications.