urls_downloaded_cb({"token":"quitting","urls":[{"url":"tutorials/basic/hello-world.html#cleanup","node_type":"p","page":"Basic tutorial 1: Hello world!","sections":["Basic tutorial 1: Hello world!","Walkthrough","Cleanup"],"context":{"gi-language":["default"]}}]});