in _tools/createdatadocs.py [0:0]
def add_docs(docs_in_order, doc): docs_in_order.append(doc) for doc in doc['children']: add_docs(docs_in_order, doc)