Some repo admin -- .gitignore updates