saner .gitignore for exotic tools