/scripts/

• ../
• extract-group-names-from-symbols.sh
• symbols-tree.py