urls_downloaded_cb({"token":"depletes","urls":[{"url":"tutorials/basic/streaming.html#walkthrough","node_type":"p","page":"Basic tutorial 12: Streaming","sections":["Basic tutorial 12: Streaming","Walkthrough"],"context":{"gi-language":["default"]}}]});