Delete all these random devtool scripts, we're not using any of it, delete some other random unused stuff One .gitignore, .gitattributes clean up obsolete stuff Use .git-blame-ignore-revs so we can ignore formatting commits