linux/tools/docs/gen-redirects.py