linux/tools/docs/gen-renames.py