urls_downloaded_cb({"token":"casting","urls":[{"url":"application-development/index.html#preliminary-reading","node_type":"ul","page":"Application Development Manual","sections":["Application Development Manual","Introduction","Preliminary reading"],"context":{"gi-language":["default"]}}]});