Blame devtools/docs/.gitignore