tree: 03e3d3eb3b4dc83a7964f3b511056c423d5a105a
  1. genrest/
  2. extract_content.py
  3. filter-doc-log.sh