Make .gitignore more explicit.