/tools/
../
check-exercises.py
update-patches.py