urls_downloaded_cb({"token":"dtv","urls":[{"url":"additional/design/stream-selection.html#example-use-cases","node_type":"p","page":"Stream selection","sections":["Stream selection","Example use cases"],"context":{"gi-language":["default"]}},{"url":"dvb/dvbsrc.html#dvbsrc-page","node_type":"p","page":"dvbsrc","sections":["dvbsrc"],"context":{"gi-language":["default"]}}]});