Git: Some more cleanup on .gitignore.