git diff shortcuts use --find-renames
tools/py/list-py-modules
touch-typing (currently useless)