in update-toc.py [0:0]
def grep_children_namespaces(autogenerated_toc_xml): return [ns.attrib['Name'] for ns in ET.parse(args.namespaces).getroot()[1:] if ns.tag == 'Namespace'] + ['**']