How does google docs do real time syncing? Websocket?

Applications such as google docs and notion can sync in realtime. How is this achieved? I know websocket can do something like this.

But I didn't see any websocket traffic in the developer tool. Instead I saw get and post requests. How can this be achieved with GET/POST request?