I wonder if the technique could be adapted to work without the WebSocket server, and instead have the devices coordinate the clock offsets using peer-to-peer WebRTC connections.