Further simplifying .gitignore.