.gitignore: slightly faster