Even more refinements to .gitignore