.gitignore: sync with reality.