[sr-dev] git:master:3d6f5770: websocket: split the addition of info structure for ws.dump rpc