Migrate from JSONRPC to WebSockets