more revisions to .gitignore