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