urls_downloaded_cb({"token":"reset","urls":[{"url":"rippletv.html#rippletv:reset","node_type":"symbol","context":{"gi-language":["default"]}}]});