urls_downloaded_cb({"token":"hot-swapping","urls":[{"url":"additional/design/stream-selection.html#stream-selection-event","node_type":"ul","page":"Stream selection","sections":["Stream selection","Stream selection event"],"context":{"gi-language":["default"]}}]});