Overdue update to .gitignore