I’ve observed that Firefox often sends a ping message over an open WebSocket connection when I disconnect a network cable from my computer. I’m curious if this is a documented behavior or if it’s specified in the WebSockets RFC.I described the steps ...